Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč
phone Kontakt phoneJak nakupovat
Vážení zákazníci, z důvodu státního svátku není dnes zákaznická podpora k dispozici. Vašim požadavkům se budeme věnovat následující pracovní den. Děkujeme za pochopení.
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Theorem Proving in Higher Order Logics

10th International Conference, TPHOLs '97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Theorem Proving in Higher Order Logics Amy Felty
Libristo kód: 05274732
Nakladatelství Springer, Berlin, listopad 1997
This book constitutes the refereed proceedings of the 10th International Conference on Theorem Provi... Celý popis
? points 118 b
1 182 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

Až 30 dní na vrácení zboží

Zákazníci také koupili

Cornelsen Literathek - Textausgaben - Schachnovelle - Empfohlen für das 10.-13. Schuljahr - Textausgabe - Text - Erläuterungen - Materialien Stefan Zweig / Kniha Brožovaná
common.buy 168 Kč
Die verborgene Geschichte der Erde Claudia Buchholtz / Kniha Brožovaná
common.buy 610 Kč
Elektra, die hell Leuchtende Jennifer Saint / E-kniha Adobe ePub DRM
common.buy 267 Kč
Histoire mondiale / Kniha Brožovaná
common.buy 248 Kč
Collection Des Voyages Des Souverains Des Pays-Bas V3 (1881) Louis Prosper Gachard / Kniha Brožovaná
common.buy 1 099 Kč
Antologija Pjesnictva Hrvatskoga I Srbskoga: Narodnoga I Umjetnoga Sa Uvodom O Poetici (1876) August Senoa / Kniha Brožovaná
common.buy 881 Kč
Yoga-Inspiration, m. 54 Beilage Barbara Kündig / Hra/Hračka Hra
common.buy 382 Kč
Poetiken des Widerspruchs in vormoderner Erzahlliteratur Elisabeth Lienert / Kniha Brožovaná
common.buy 1 654 Kč
Die Krankheiten Der Nagel Julius Heller / Kniha Brožovaná
common.buy 1 214 Kč
Bajkala Ozera Skazki. Tom 2. Jeposy, Mify, Legendy I Skazanija / Kniha Brožovaná
common.buy 589 Kč
Eutocius d'Ascalon Micheline Decorps-Foulquier / Kniha Pevná
common.buy 3 073 Kč
Seidenstraße Quelle: Wikipedia / Kniha Brožovaná
common.buy 333 Kč
Was diese Frau so alles treibt, 1 DVD, deutsche u. englische Version Norman Jewison / Video DVD
common.buy 208 Kč

This book constitutes the refereed proceedings of the 10th International Conference on Theorem Proving in Higher Order Logics, TPHOLs '97, held in Murray Hill, NJ, USA, in August 1997.The volume presents 19 carefully revised full papers selected from 32 submissions during a thorough reviewing process. The papers cover work related to all aspects of theorem proving in higher order logics, particularly based on secure mechanization of those logics; the theorem proving systems addressed include Coq, HOL, Isabelle, LEGO, and PVS.

Herečka & Polyglotka
EWA KASP pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Theorem Proving in Higher Order Logics
Autor Amy Felty, Elsa L. Gunter
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 1998
Počet stran 346
EAN 9783540633792
ISBN 3540633790
Libristo kód 05274732
Nakladatelství Springer, Berlin
Váha 460
Rozměry 156 x 234 x 18

Kategorie

Výpočetní a informační technologie > Informatika > Umělá inteligence > Strojní učení
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Softwarové inženýrství
Výpočetní a informační technologie > Informatika > Teorie algoritmů
Výpočetní a informační technologie > Informatika > Systémová analýza a systémový design
Výpočetní a informační technologie > Informatika > Architektura počítače a logic design
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Mohlo by vás také zajímat

Local Analysis of Selberg's Trace Formula A. Good / Kniha Brožovaná
common.buy 595 Kč
Study Guide for Political Theories for Students Cengage Learning Gale / Kniha Brožovaná
common.buy 271 Kč
Seasoned to the Country Marilyn Wise / Kniha Pevná
common.buy 756 Kč
Women in Ancient Rome Bonnie MacLachlan / Kniha Brožovaná
common.buy 1 117 Kč
Mapleson Memoirs, 1848-1888 Volume 1 James Henry Mapleson / Kniha Pevná
common.buy 794 Kč
Living Liturgy for Cantors: Year a 2011 Joyce Zimmerman / Kniha Brožovaná
common.buy 221 Kč
Learning and Education Games: Volume Two: Bringing Games into Educational Contexts Karen Schrier Shaenfeld / Kniha Brožovaná
common.buy 577 Kč
Vogue: The Gown Jo Ellison / Kniha Pevná
common.buy 775 Kč
Skjerven Gaard Vik Sogn og Fjordane Donovan Hurst / Kniha Brožovaná
common.buy 444 Kč
MathOdes: Etching Math in Memory: Algebra 1 & 2 J A Bailey / Kniha Brožovaná
common.buy 651 Kč
Transcending the Razor Wire Katherine Young / Kniha Brožovaná
common.buy 340 Kč
Centre for Fortean Zoology 2007 Yearbook Jonathan Downes / Kniha Brožovaná
common.buy 422 Kč
Teaching in the Primary School Neil Kitson / Kniha Pevná
common.buy 6 406 Kč
You Are Not Alone Nadja / Kniha Brožovaná
common.buy 237 Kč
Legend of Cyber-Love Margaret Liu / Kniha Pevná
common.buy 1 231 Kč
Plain Facts for Old and Young John Harvey Kellogg / Kniha Brožovaná
common.buy 186 Kč
French Grammar Practice for Ambitious Learners - Beginner's Edition II, Tenses and Complex Sentences M. RODARY / Kniha Brožovaná
common.buy 403 Kč
How to Draw with Photorealism: Drawing and Shading Techniques - Beginner to Advanced Jasmina Susak / Kniha Brožovaná
common.buy 420 Kč
Bolt Action: Campaign: D-Day: British & Canadian Sectors Peter Dennis / Kniha Brožovaná
common.buy 656 Kč
Roots and Rebellion Dr Arun Verma / Kniha Brožovaná
common.buy 426 Kč
Decolonizing Ukraine: How the Indigenous People of Crimea Remade Themselves After Russian Occupation Greta Lynn Uehling / Kniha Brožovaná
common.buy 996 Kč
Government Risk-Sharing in Foreign Investment Marina von Neumann Whitman / Kniha Brožovaná
common.buy 1 288 Kč
Distribution in Japan Yoshiro Miwa / Kniha Pevná
common.buy 5 288 Kč
What Is the Impact of Digitizing Books? Louise I. Gerdes / Kniha Brožovaná
common.buy 736 Kč

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

Nemáte účet? Získejte výhody Libristo účtu!

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet
Knižní rádce Libroamiko
Ahoj, jsem Libroamiko, můžu pomoct?