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 €.

Higher Order Logic Theorem Proving and Its Applications

6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Higher Order Logic Theorem Proving and Its Applications Jeffrey J. Joyce
Libristo kod: 05274376
Nakladnici Springer, Berlin, studeni 1993
This volume constitutes the refereed proceedings of the 1993 Higher-Order Logic User's Group Worksho... Cijeli opis
? points 125 b
51.66 €
Vanjske zalihe Šaljemo za 5-8 dana

Do 30 dana za povrat

Kupci su kupili i

Der Opferaspekt bei der strafrechtlichen Vergangenheitsbewältigung. Regina Blümmel / Knjiga Meki uvez
common.buy 110.71 €
Pensees De Seneque, Part 2 (1752) Lucius Annaeus Seneca / Knjiga Meki uvez
common.buy 34.47 €
Outsider. Dentro e fuori. Storia di Guido Calabresi Norman I. Silber / Knjiga Meki uvez
common.buy 29.62 €
Steuerungsproblematik bei Center-Konzepten. Cost-Center, Profit-Center und Service-Center Robert Pomes / Knjiga Meki uvez
common.buy 14.45 €
Live At Rockpalast Der Moderne Man / Video DVD
common.buy 13.74 €
Ne! Řeklo strašidýlko Kalle Güettler / Knjiga Tvrdi uvez
common.buy 6.66 €
KOMPASS Fahrradkarte 3330 Regensburg und Umgebung 1:70.000 / Tiskanica Mapa
common.buy 8.89 €
Mar, amarte y muerte Pérez Castillo / Knjiga Meki uvez
common.buy 21.43 €
Monatsplaner: Für Familien, Singles und Selbstständige Rene Schreiber / Knjiga Meki uvez
common.buy 7.67 €
Junie B. Jones no es una ladrona BARBARA PARK / Knjiga Meki uvez
common.buy 11.21 €
EQUITACIÓN DE TRABAJO EN ESPAÑA / Knjiga Knjiga
common.buy 28.00 €
Klozapin Kateřina Horská / Knjiga Tvrdi uvez
common.buy 11.32 €
Le carnet de Bernard - Séyès, 96p, A5 - Têtes de mort / Kalendar/Rokovnik Rokovnik
common.buy 10.20 €
Cosmopolite Anaïs Mater / Knjiga Meki uvez
common.buy 20.52 €

This volume constitutes the refereed proceedings of the 1993 Higher-Order Logic User's Group Workshop, held at the University of British Columbia in August 1993. The workshop was sponsored by the Centre for Integrated Computer System Research. It was the sixth in the series of annual international workshops dedicated to the topic of Higher-Order Logic theorem proving, its usage in the HOL system, and its applications. The volume contains 40 papers, including an invited paper by David Parnas, McMaster University, Canada, entitled "Some theorems we should prove".

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 Higher Order Logic Theorem Proving and Its Applications
Autor Jeffrey J. Joyce, Carl-Johan H. Seger
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 1994
Broj stranica 526
EAN 9783540578260
ISBN 3540578269
Libristo kod 05274376
Nakladnici Springer, Berlin
Težina 697
Dimenzije 156 x 234 x 27

Kategorija

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer science > Artificial intelligence > Machine learning
Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
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

Building Pathologies: Experimental Campaigns and Numerical Procedures J. M. P. Q. Delgado / Knjiga Meki uvez
common.buy 154.29 €
Network-Based Parallel Computing. Communication, Architecture, and Applications Dhabaleswar K. Panda / Knjiga Meki uvez
common.buy 51.66 €
Participation of Victims in ICC Proceedings Raphael Kamuli / Knjiga Meki uvez
common.buy 44.48 €
Notes on the Northern Atlantic for the Use of Travellers Brown / Knjiga Tvrdi uvez
common.buy 31.64 €
The Actor's Book of Scenes from New Plays: 70 Scenes for Two Actors, from Today's Hottest Playwrights Eric Lane / Knjiga Meki uvez
common.buy 22.74 €
Toys and Games Then and Now Robin Nelson / Knjiga Meki uvez
common.buy 8.38 €
Order of Public Reason Gerald Gaus / Knjiga Meki uvez
common.buy 57.02 €
Growing Up Poor Robert Coles / Knjiga Meki uvez
common.buy 14.85 €
epoch of reform Justin McCarthy / Knjiga Meki uvez
common.buy 19.71 €
sOmEThInG 2 DiE 4 Plex / Knjiga Meki uvez
common.buy 14.75 €
Gender-Responsive Standards and Assessment Tool AND Trauma-Informed Practices Handbooks Oregon Coalition Equal Access for Girls / Knjiga Meki uvez
common.buy 35.08 €
Scary stories that stir fear in the heart. Dana M Carroll / Knjiga Meki uvez
common.buy 7.67 €
Erika's Pocket Posh Journal, Tulip Andrews McMeel Publishing / Knjiga Meki uvez
common.buy 7.67 €
The Galilean: A Portrait of Jesus of Nazareth Walter Lloyd / Knjiga Tvrdi uvez
common.buy 29.72 €
American Western Cooking from the Roaring Fork Robert McGrath / Knjiga Tvrdi uvez
common.buy 33.05 €
Etruscan Tomb Paintings: Their Subjects and Significance (1922) Frederik Poulsen / Knjiga Meki uvez
common.buy 22.13 €
A Bach Concert: Volume 4 Olga Rogozenco / Knjiga Tvrdi uvez
common.buy 23.15 €
Introducing Artificial Intelligence Henry Brighton / E-knjiga Adobe ePub DRM
common.buy 5.15 €
Top
The Winter Soldier: Cold Front Mackenzi Lee / Knjiga Meki uvez
common.buy 8.28 €
Vagus Nerve Dennis Campbell / Knjiga Meki uvez
common.buy 15.76 €
Pocket Prompts Drawing Ward / Knjiga Meki uvez
common.buy 12.12 €
Student-Centered Voice Pedagogy Jeanne Goffi-Fynn / Knjiga Meki uvez
common.buy 42.76 €
Pripremamo Novo
Hey There, Bluebird, Why Do You Chirp? Agnieszka Wajda / Knjiga Leporelo
common.buy 10.61 €
Mother-in-Law Trap M Ed Connie Lovett Neal / Knjiga Meki uvez
common.buy 15.36 €

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?