Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € DPD točka 3.49 € GLS Kurir 4.99 € GLS paketomat 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Theorem Proving in Higher Order Logics

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

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 125 b
51.68 €
Vanjske zalihe Šaljemo za 5-8 dana

Do 30 dana za povrat

Kupci su kupili i

Cornelsen Literathek - Textausgaben - Schachnovelle - Empfohlen für das 10.-13. Schuljahr - Textausgabe - Text - Erläuterungen - Materialien Stefan Zweig / Knjiga Meki uvez
common.buy 7.27 €
Die verborgene Geschichte der Erde Claudia Buchholtz / Knjiga Meki uvez
common.buy 26.80 €
Elektra, die hell Leuchtende Jennifer Saint / E-knjiga Adobe ePub DRM
common.buy 10.51 €
Histoire mondiale / Knjiga Meki uvez
common.buy 9.80 €
Collection Des Voyages Des Souverains Des Pays-Bas V3 (1881) Louis Prosper Gachard / Knjiga Meki uvez
common.buy 47.74 €
Antologija Pjesnictva Hrvatskoga I Srbskoga: Narodnoga I Umjetnoga Sa Uvodom O Poetici (1876) August Senoa / Knjiga Meki uvez
common.buy 38.23 €
Yoga-Inspiration, m. 54 Beilage Barbara Kündig / Igra/Igračka Igra
common.buy 14.86 €
Poetiken des Widerspruchs in vormoderner Erzahlliteratur Elisabeth Lienert / Knjiga Meki uvez
common.buy 72.32 €
Die Krankheiten Der Nagel Julius Heller / Knjiga Meki uvez
common.buy 53.10 €
Bajkala Ozera Skazki. Tom 2. Jeposy, Mify, Legendy I Skazanija / Knjiga Meki uvez
common.buy 25.58 €
Eutocius d'Ascalon Micheline Decorps-Foulquier / Knjiga Tvrdi uvez
common.buy 134.02 €
Seidenstraße Quelle: Wikipedia / Knjiga Meki uvez
common.buy 14.66 €
Was diese Frau so alles treibt, 1 DVD, deutsche u. englische Version Norman Jewison / Video DVD
common.buy 8.99 €

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.

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

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

Moglo bi vas zanimati i

Local Analysis of Selberg's Trace Formula A. Good / Knjiga Meki uvez
common.buy 25.99 €
Study Guide for Political Theories for Students Cengage Learning Gale / Knjiga Meki uvez
common.buy 11.72 €
Seasoned to the Country Marilyn Wise / Knjiga Tvrdi uvez
common.buy 32.66 €
Women in Ancient Rome Bonnie MacLachlan / Knjiga Meki uvez
common.buy 48.55 €
Mapleson Memoirs, 1848-1888 Volume 1 James Henry Mapleson / Knjiga Tvrdi uvez
common.buy 34.48 €
Living Liturgy for Cantors: Year a 2011 Joyce Zimmerman / Knjiga Meki uvez
common.buy 9.70 €
Learning and Education Games: Volume Two: Bringing Games into Educational Contexts Karen Schrier Shaenfeld / Knjiga Meki uvez
common.buy 25.08 €
Vogue: The Gown Jo Ellison / Knjiga Tvrdi uvez
common.buy 34.08 €
Skjerven Gaard Vik Sogn og Fjordane Donovan Hurst / Knjiga Meki uvez
common.buy 19.31 €
MathOdes: Etching Math in Memory: Algebra 1 & 2 J A Bailey / Knjiga Meki uvez
common.buy 28.31 €
Transcending the Razor Wire Katherine Young / Knjiga Meki uvez
common.buy 14.86 €
Centre for Fortean Zoology 2007 Yearbook Jonathan Downes / Knjiga Meki uvez
common.buy 18.30 €
Teaching in the Primary School Neil Kitson / Knjiga Tvrdi uvez
common.buy 278.68 €
You Are Not Alone Nadja / Knjiga Meki uvez
common.buy 10.31 €
Legend of Cyber-Love Margaret Liu / Knjiga Tvrdi uvez
common.buy 53.60 €
Plain Facts for Old and Young John Harvey Kellogg / Knjiga Meki uvez
common.buy 8.08 €
French Grammar Practice for Ambitious Learners - Beginner's Edition II, Tenses and Complex Sentences M. RODARY / Knjiga Meki uvez
common.buy 17.49 €
How to Draw with Photorealism: Drawing and Shading Techniques - Beginner to Advanced Jasmina Susak / Knjiga Meki uvez
common.buy 19.31 €
Bolt Action: Campaign: D-Day: British & Canadian Sectors Peter Dennis / Knjiga Meki uvez
common.buy 27.10 €
Roots and Rebellion Dr Arun Verma / Knjiga Meki uvez
common.buy 18.81 €
Decolonizing Ukraine: How the Indigenous People of Crimea Remade Themselves After Russian Occupation Greta Lynn Uehling / Knjiga Meki uvez
common.buy 43.08 €
Government Risk-Sharing in Foreign Investment Marina von Neumann Whitman / Knjiga Meki uvez
common.buy 55.73 €
Distribution in Japan Yoshiro Miwa / Knjiga Tvrdi uvez
common.buy 229.01 €
What Is the Impact of Digitizing Books? Louise I. Gerdes / Knjiga Meki uvez
common.buy 31.75 €

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
Književni savjetnik Libroamiko
Dobar dan, ja sam Libroamiko, mogu li vam pomoći?