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
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Theorem Proving in Higher Order Logics

18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Theorem Proving in Higher Order Logics Joe Hurd
Libristo kód: 01561020
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, srpen 2005
This book constitutes the refereed proceedings of the 18th 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

Eficiencia en la Gestion Financiera en un Sistema de Justicia Mexicano David Josue Ortiz Gonzalez / Kniha Brožovaná
common.buy 1 115 Kč
Plan C­clico de Formación Juvenil vol I I I MATAIX / Kniha Kniha
common.buy 62 Kč
Künstlerroman Friedrich Wilhelm Hackländer / Kniha Pevná
common.buy 1 419 Kč
Nos Auteurs Et Compositeurs Dramatiques, Portraits Et Biographies Martin-J / Kniha Brožovaná
common.buy 880 Kč
Blackout Island Sigrí?ur Hagalín Björnsdóttir / Kniha Brožovaná
common.buy 208 Kč
Zwischen Widerstand und Anpassung. Die Rezeption des Nationalsozialismus in ausgewahlten judischen deutschsprachigen Zeitungen bis 1935 Daniel Kulins / Kniha Brožovaná
common.buy 328 Kč
Kibali David Kyeu / Kniha Brožovaná
common.buy 263 Kč
Erfolgsfaktoren deutscher Unternehmen bei der Marktbearbeitung in Indien Anke Hsu / Kniha Brožovaná
common.buy 774 Kč
Tierzuchtgesetz (TierZG) Sarastro Gmbh / Kniha Brožovaná
common.buy 186 Kč
dunkle Tor ins Licht Christine Hagia / Kniha Brožovaná
common.buy 348 Kč
Bologna und Emilia Romagna Carl W. Macke / Kniha Pevná
common.buy 450 Kč
Der blaue Himmel Galsan Tschinag / Kniha Brožovaná
common.buy 249 Kč
Utopia Thomas Morus / Kniha Brožovaná
common.buy 253 Kč

This book constitutes the refereed proceedings of the 18th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2005, held in Oxford, UK, in August 2005.§The 20 revised full papers presented together with 2 invited papers and 4 proof pearls (concise and elegant presentations of interesting examples) were carefully reviewed and selected from 49 submissions. All current issues in HOL theorem proving and formal verification of software and hardware systems are addressed. Among the topics of this volume are theorem proving, verification, recursion and induction, mechanized proofs, mathematical logic, proof theory, type systems, program verification, and proving systems like HOL, Coq, ACL2, Isabelle/HOL and Isabelle/HOLCF.

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 Joe Hurd, Tom Melham
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2005
Počet stran 414
EAN 9783540283720
ISBN 3540283722
Libristo kód 01561020
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 1310
Rozměry 155 x 235 x 23

Kategorie

Technologie, strojírenství, zemědělství > Elektronické a komunikační inženýrství > Elektrotechnické inženýrství > Automatická kontrola v inženýrství > Robotika
Matematika a věda > Matematika > Matematické základy > Matematická logika
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
Výpočetní a informační technologie > Informatika > Umělá inteligence
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

German Influence on Australian English Markus Bieswanger / Kniha Brožovaná
common.buy 1 134 Kč
Bioethics of Pain Management Daniel S. Goldberg / Kniha Pevná
common.buy 5 435 Kč
WILDER GIRLS POWER RORY / Kniha Brožovaná
common.buy 412 Kč
The Book of My Life: de Vita Propria Liber Jerome Cardan / Kniha Brožovaná
common.buy 837 Kč
The Rebirth and Awakening of Wolfie Star-Runner Danielle Freeman / Kniha Brožovaná
common.buy 423 Kč
Discovering Ancient Biblical Hebrew Word Formation: A Workbook for the Discovery of the Original Nature of Derivational Morphology of Ancient Biblical David J Leonardi / Kniha Brožovaná
common.buy 423 Kč
Bucking the Sun Ivan Doig / Kniha Brožovaná
common.buy 358 Kč
The Stranger You Know Jane Casey / Kniha Brožovaná
common.buy 458 Kč
VMware vSphere 5.1 Cookbook Abhilash GB / Kniha Brožovaná
common.buy 1 296 Kč
Tinsel Devney Perry / Kniha Brožovaná
common.buy 424 Kč
Classical Associations of Places in Italy (1921) Frances Ellis Sabin / Kniha Brožovaná
common.buy 968 Kč
Osprey Emily Ever / Kniha Brožovaná
common.buy 374 Kč
Notes Upon Some of the Obscure Passages in Shakespeare's Plays; With Remarks Upon the Explanations and Amendments of the Commentators in the Editions John Howe / Kniha Brožovaná
common.buy 604 Kč
Solitude and the Sublime Frances Ferguson / Kniha Brožovaná
common.buy 1 644 Kč
NLP Steve Andreas / Kniha Brožovaná
common.buy 457 Kč
Excavations at Newport Street, Worcester, 2005 Peter Davenport / Kniha Pevná
common.buy 702 Kč
Aesthetics of Appearing Martin Seel / Kniha Brožovaná
common.buy 616 Kč
Havana Babylonia: or Prostitutes in Cuba Amir Valle / Kniha Brožovaná
common.buy 403 Kč
Marxism and Alternatives I Rockmore / Kniha Brožovaná
common.buy 5 237 Kč
Statistical Account of the British Empire J. R. McCulloch / Kniha Brožovaná
common.buy 1 416 Kč
Leniency in EU Competition Law Ingrid Margrethe Halvorsen Barlund / E-kniha Adobe ePub DRM
common.buy 3 883 Kč
Paddington in Peru: Sticker Activity Book HARPER / Kniha Brožovaná
common.buy 236 Kč
THE METAPHYSICAL STATUS OF THE FACE IN THE WORK OF EMMANUEL LEVINAS Arischel NGOMA MOUSSOLO OPIE / Kniha Brožovaná
common.buy 1 237 Kč
Winter's Breath, Eternal Chill Jasper Montgomery / Kniha Brožovaná
common.buy 1 208 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?