Preverjanje stanja naročila
LIBRISTO
LIBROAMANTO
obvezno
Pozabljeno geslo
Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun
0
Brezplačna dostava Zásilkovna nad 69.99 €
Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba Express One 3.49 € Zbirno mesto Express One 3.49 € Zbirno mesto Pošte Slovenije 3.49 € Dostava preko Pošte Slovenije 3.49 €
phone Kontakt phoneKako nakupovati
Brezplačna dostava za naročila nad 69,99 € na prevzemna mesta DPD in Express One.

Higher Order Logic Theorem Proving and Its Applications

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

Jezik AngleščinaAngleščina
Knjiga Mehka
Knjiga Higher Order Logic Theorem Proving and Its Applications Jeffrey J. Joyce
Koda Libristo: 05274376
Založba Springer, Berlin, november 1993
This volume constitutes the refereed proceedings of the 1993 Higher-Order Logic User's Group Worksho... Celoten opis
? points 118 b
49.00 €
Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

Do 30 dni za vračilo

Drugi so kupili tudi

Steuerungsproblematik bei Center-Konzepten. Cost-Center, Profit-Center und Service-Center Robert Pomes / Knjiga Mehka
common.buy 13.59 €
Der Opferaspekt bei der strafrechtlichen Vergangenheitsbewältigung. Regina Blümmel / Knjiga Mehka
common.buy 105.22 €
Outsider. Dentro e fuori. Storia di Guido Calabresi Norman I. Silber / Knjiga Mehka
common.buy 27.89 €
Live At Rockpalast Der Moderne Man / Film DVD
common.buy 13.08 €
Deutsches Regierungssystem Raban Graf von Westphalen / Knjiga Trda
common.buy 180.71 €
KOMPASS Fahrradkarte 3330 Regensburg und Umgebung 1:70.000 / Tiskani izdelki Zemljevid
common.buy 8.41 €
Ricorumi Häkel-Set "Oster-Körbchen grau" / Igra/Igrača Igrača
common.buy 15.21 €
Mar, amarte y muerte Pérez Castillo / Knjiga Mehka
common.buy 20.89 €
Ne! Řeklo strašidýlko Kalle Güettler / Knjiga Trda
common.buy 6.28 €
Junie B. Jones no es una ladrona BARBARA PARK / Knjiga Mehka
common.buy 10.75 €
Creature Notturne Terry M. West / E-knjiga Adobe ePub DRM
common.buy 3.85 €
Monatsplaner: Für Familien, Singles und Selbstständige Rene Schreiber / Knjiga Mehka
common.buy 7.30 €
Головные боли, или Зачем человеку плечи? 2-е издание (перераб. и доп.) Сергей Бубновский / Knjiga Mehka
common.buy 10.24 €
EQUITACIÓN DE TRABAJO EN ESPAÑA / Knjiga Knjiga
common.buy 26.47 €
Klozapin Kateřina Horská / Knjiga Trda
common.buy 9.53 €
Le carnet de Bernard - Séyès, 96p, A5 - Têtes de mort / Koledar/Rokovnik Rokovnik
common.buy 9.63 €
Cosmopolite Anaïs Mater / Knjiga Mehka
common.buy 19.57 €
Pensees De Seneque, Part 2 (1752) Lucius Annaeus Seneca / Knjiga Mehka
common.buy 32.87 €

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

Igralka & Poliglotka
EWA KASP za
Predvajaj video
Ewa Kasp
Libristo ima največjo izbiro tujejezične literature. Zato svoje knjige kupujem tukaj.

O knjigi

Polni naslov Higher Order Logic Theorem Proving and Its Applications
Avtor Jeffrey J. Joyce, Carl-Johan H. Seger
Jezik Angleščina
Vezava Knjiga - Mehka
Datum izida 1994
Število strani 526
EAN 9783540578260
ISBN 3540578269
Koda Libristo 05274376
Založba Springer, Berlin
Teža 697
Mere 156 x 234 x 27

Kategorije

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
Podarite to knjigo še danes
To je povsem preprosto
1 Dodajte knjigo v košarico in izberite dostavo kot darilo 2 V zameno vam bomo poslali kupon 3 Knjiga bo dostavljena na naslov obdarovanca

Morda bi vas zanimalo tudi

Building Pathologies: Experimental Campaigns and Numerical Procedures J. M. P. Q. Delgado / Knjiga Mehka
common.buy 146.41 €
Network-Based Parallel Computing. Communication, Architecture, and Applications Dhabaleswar K. Panda / Knjiga Mehka
common.buy 49.00 €
Participation of Victims in ICC Proceedings Raphael Kamuli / Knjiga Mehka
common.buy 42.00 €
Notes on the Northern Atlantic for the Use of Travellers Brown / Knjiga Trda
common.buy 30.13 €
The Actor's Book of Scenes from New Plays: 70 Scenes for Two Actors, from Today's Hottest Playwrights Eric Lane / Knjiga Mehka
common.buy 21.50 €
Toys and Games Then and Now Robin Nelson / Knjiga Mehka
common.buy 5.88 €
Erika's Pocket Posh Journal, Tulip Andrews McMeel Publishing / Knjiga Mehka
common.buy 7.30 €
Order of Public Reason Gerald Gaus / Knjiga Mehka
common.buy 54.58 €
Thermoluminescence properties of minerals and their application J. M. Kalita / Knjiga Mehka
common.buy 54.68 €
epoch of reform Justin McCarthy / Knjiga Mehka
common.buy 18.56 €
sOmEThInG 2 DiE 4 Plex / Knjiga Mehka
common.buy 14.09 €
Gender-Responsive Standards and Assessment Tool AND Trauma-Informed Practices Handbooks Oregon Coalition Equal Access for Girls / Knjiga Mehka
common.buy 33.37 €
Scary stories that stir fear in the heart. Dana M Carroll / Knjiga Mehka
common.buy 7.30 €
Growing Up Poor Robert Coles / Knjiga Mehka
common.buy 14.50 €
The Galilean: A Portrait of Jesus of Nazareth Walter Lloyd / Knjiga Trda
common.buy 28.40 €
American Western Cooking from the Roaring Fork Robert McGrath / Knjiga Trda
common.buy 31.24 €
Etruscan Tomb Paintings: Their Subjects and Significance (1922) Frederik Poulsen / Knjiga Mehka
common.buy 21.20 €
A Bach Concert: Volume 4 Olga Rogozenco / Knjiga Trda
common.buy 21.81 €
Ideas and Intervention (RLE Social Theory) Joe Bailey / E-knjiga Adobe ePub DRM
common.buy 65.95 €
Introducing Artificial Intelligence Henry Brighton / E-knjiga Adobe ePub DRM
common.buy 4.86 €
Top
The Winter Soldier: Cold Front Mackenzi Lee / Knjiga Mehka
common.buy 8.21 €
Vagus Nerve Dennis Campbell / Knjiga Mehka
common.buy 14.80 €
Pocket Prompts Drawing Ward / Knjiga Mehka
common.buy 11.96 €
Student-Centered Voice Pedagogy Jeanne Goffi-Fynn / Knjiga Mehka
common.buy 41.09 €

Prijava

Prijavite se v svoj račun. Še nimate računa Libristo? Ustvarite ga zdaj!

 
obvezno
obvezno
Pozabljeno geslo

Še nimate računa? Izkoristite prednosti računa Libristo!

Z računom Libristo boste imeli vedno vse pod nadzorom.

Ustvarite račun Libristo
Knjižni svetovalec Libroamiko
Pozdravljeni, sem Libroamiko, vam lahko pomagam?