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
Zbog tehničkih razloga telefonska podrška danas neće biti dostupna, molimo kontaktirajte nas putem e-maila.
Zbog tehničkih razloga telefonska podrška danas neće biti dostupna, molimo kontaktirajte nas putem e-maila.

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.27 €
Vanjske zalihe Šaljemo za 5-8 dana

Do 30 dana za povrat

Kupci su kupili i

Histoire mondiale / Knjiga Meki uvez
common.buy 8.84 €
Voyage dans le cristal George Sand / Knjiga Meki uvez
common.buy 10.05 €
Collection Des Voyages Des Souverains Des Pays-Bas V3 (1881) Louis Prosper Gachard / Knjiga Meki uvez
common.buy 47.45 €
Bajkala Ozera Skazki. Tom 2. Jeposy, Mify, Legendy I Skazanija / Knjiga Meki uvez
common.buy 25.43 €
Die Schule der magischen Tiere 12: Voll das Chaos! Andreas Fröhlich / Audio Audio CD
common.buy 10.25 €
NFL American Football Sebastian Mühlenhof / Knjiga Tvrdi uvez
common.buy 35.08 €
Elektra, die hell Leuchtende Jennifer Saint / E-knjiga Adobe ePub DRM
common.buy 10.35 €
Die verborgene Geschichte der Erde Claudia Buchholtz / Knjiga Meki uvez
common.buy 26.64 €
Barefoot On Diamond Road Amber Arcades / Audio Audio CD
common.buy 14.37 €
Komorbidität Psychose und Sucht Euphrosyne Gouzoulis-Mayfrank / Knjiga Meki uvez
common.buy 70.28 €
Cornelsen Literathek - Textausgaben - Schachnovelle - Empfohlen für das 10.-13. Schuljahr - Textausgabe - Text - Erläuterungen - Materialien Stefan Zweig / Knjiga Meki uvez
common.buy 7.23 €
Top
Ganongův přehled lékařské fyziologie Kim E. Barrett / Knjiga Tvrdi uvez
common.buy 111.91 €
Smútkové poradenstvo a smútková terapia Worden William / Knjiga Meki uvez
common.buy 14.67 €
Broken Bonds T1 J. Bree / Knjiga Meki uvez
common.buy 11.45 €
Antologija Pjesnictva Hrvatskoga I Srbskoga: Narodnoga I Umjetnoga Sa Uvodom O Poetici (1876) August Senoa / Knjiga Meki uvez
common.buy 38.00 €
Čas šelmy aneb příběhy (p)o konci světa Vladimír Němec / Knjiga Meki uvez
common.buy 9.44 €
Poetiken des Widerspruchs in vormoderner Erzahlliteratur Elisabeth Lienert / Knjiga Meki uvez
common.buy 71.79 €
Das Kino bin ich Robin Becker / Knjiga Meki uvez
common.buy 19.90 €
Was diese Frau so alles treibt, 1 DVD, deutsche u. englische Version Norman Jewison / Video DVD
common.buy 8.94 €
Seidenstraße Quelle: Wikipedia / Knjiga Meki uvez
common.buy 14.57 €
Mahoma Anuar Lahud / Knjiga Meki uvez
common.buy 7.23 €
Gran guía ilustrada de los loros Mike Harris / Knjiga Meki uvez
common.buy 21.31 €
Eutocius d'Ascalon Micheline Decorps-Foulquier / Knjiga Tvrdi uvez
common.buy 133.22 €
Die Krankheiten Der Nagel Julius Heller / Knjiga Meki uvez
common.buy 52.78 €

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.83 €
Teaching in the Primary School Neil Kitson / Knjiga Tvrdi uvez
common.buy 290.79 €
Reception of Laurence Sterne in Europe Neubauer / Knjiga Tvrdi uvez
common.buy 353.94 €
Seasoned to the Country Marilyn Wise / Knjiga Tvrdi uvez
common.buy 32.47 €
Centre for Fortean Zoology 2007 Yearbook Jonathan Downes / Knjiga Meki uvez
common.buy 18.19 €
Evaluating Ernest R. House / Knjiga Meki uvez
common.buy 56.40 €
Mapleson Memoirs, 1848-1888 Volume 1 James Henry Mapleson / Knjiga Tvrdi uvez
common.buy 34.28 €
Living Liturgy for Cantors: Year a 2011 Joyce Zimmerman / Knjiga Meki uvez
common.buy 9.64 €
Learning and Education Games: Volume Two: Bringing Games into Educational Contexts Karen Schrier Shaenfeld / Knjiga Meki uvez
common.buy 24.93 €
Vogue: The Gown Jo Ellison / Knjiga Tvrdi uvez
common.buy 33.88 €
Skjerven Gaard Vik Sogn og Fjordane Donovan Hurst / Knjiga Meki uvez
common.buy 19.20 €
MathOdes: Etching Math in Memory: Algebra 1 & 2 J A Bailey / Knjiga Meki uvez
common.buy 28.15 €
Transcending the Razor Wire Katherine Young / Knjiga Meki uvez
common.buy 14.77 €
Study Guide for Political Theories for Students Cengage Learning Gale / Knjiga Meki uvez
common.buy 11.65 €
Women in Ancient Rome Bonnie MacLachlan / Knjiga Meki uvez
common.buy 48.26 €
You Are Not Alone Nadja / Knjiga Meki uvez
common.buy 10.25 €
Legend of Cyber-Love Margaret Liu / Knjiga Tvrdi uvez
common.buy 50.07 €
Whistle Window Brian Drinkwater / Knjiga Meki uvez
common.buy 10.25 €
Top
Flying Too Close to the Sun James Cahill / Knjiga Tvrdi uvez
common.buy 44.84 €
Introduction to Cutting and Packing Optimization Guntram Scheithauer / Knjiga Meki uvez
common.buy 90.09 €
Plain Facts for Old and Young John Harvey Kellogg / Knjiga Meki uvez
common.buy 8.03 €
French Grammar Practice for Ambitious Learners - Beginner's Edition II, Tenses and Complex Sentences M. RODARY / Knjiga Meki uvez
common.buy 17.39 €
How to Draw with Photorealism: Drawing and Shading Techniques - Beginner to Advanced Jasmina Susak / Knjiga Meki uvez
common.buy 19.20 €
Bolt Action: Campaign: D-Day: British & Canadian Sectors Peter Dennis / Knjiga Meki uvez
common.buy 26.54 €

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?