phone +385 21 784 0072
LIBRISTO 0
Besplatna dostava Overseas kurirskom službom iznad 59.99 €
Overseas 4.99 € Pošta 4.99 € DPD 5.99 € GLS 3.99 € GLS paketomat 3.49 € Box Now 4.49 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 59,99 €!

Theorem Proving in Higher Order Logics

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Theorem Proving in Higher Order Logics Amy Felty
Libristo kod: 05274732
Nakladnici Springer, Berlin, studeni 1997
This book constitutes the refereed proceedings of the 10th International Conference on Theorem Provi... Cijeli opis
? points 154 b
61.46 €
Vanjske zalihe u manjem broju Šaljemo za 13-16 dana

30 dana za povrat kupljenih proizvoda

Moglo bi vas zanimati i

Was diese Frau so alles treibt, 1 DVD, deutsche u. englische Version Norman Jewison / DVD
common.buy 8.47 €
Memories of Sexual Betrayal / Tvrdi uvez
common.buy 136.76 €
Seidenstraße Quelle: Wikipedia / Meki uvez
common.buy 15.84 €
Black Meteors Basil A. Ince / Meki uvez
common.buy 30.78 €
Infrastructure 2011 Jonathan Miller / Meki uvez
common.buy 13.41 €
Core Labour Standards and International Trade Kofi Addo / Tvrdi uvez
common.buy 121.11 €
What Is the Impact of Digitizing Books? / Meki uvez
common.buy 33.80 €
What's the Matter with Ireland? Ruth Russell / Meki uvez
common.buy 24.82 €
Yoga-Inspiration, m. 54 Beilage Barbara Kündig / Igra
common.buy 15.74 €
Inventory Management John W. Toomey / Tvrdi uvez
common.buy 218.92 €
Trinity and Creation in Augustine Scott A. Dunham / Meki uvez
common.buy 43.29 €
Muslims' Perceptions of the Bush Doctrine Masoud Bonyanian / Meki uvez
common.buy 35.52 €
Women and the Limits in the French Revolution Olwen H. Hufton / Meki uvez
common.buy 50.16 €
Local Analysis of Selberg's Trace Formula A. Good / Meki uvez
common.buy 45.11 €
Die Krankheiten Der Nagel Julius Heller / Meki uvez
common.buy 66.81 €
Reception of Laurence Sterne in Europe Neubauer / Tvrdi uvez
common.buy 410.91 €

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.

Informacije o knjizi

Puni naziv Theorem Proving in Higher Order Logics
Autor Amy Felty, Elsa L. Gunter
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 1998
Broj stranica 346
EAN 9783540633792
ISBN 3540633790
Libristo kod 05274732
Nakladnici Springer, Berlin
Težina 460
Dimenzije 156 x 234 x 18

Kategorija

Computing & Information Technology > Computer science > Artificial intelligence > Machine learning
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Systems analysis & design
Computing & Information Technology > Computer science > Computer architecture & logic design
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun