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 3.49 € Zbirno mesto 3.49 € Zbirno mesto 3.49 € Dostava preko Pošte Slovenije 3.49 €
phone Kontakt phoneKako nakupovati
Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Isabelle

A Generic Theorem Prover

Jezik AngleščinaAngleščina
Knjiga Mehka
Knjiga Isabelle Lawrence C. Paulson
Koda Libristo: 02780943
Založba Springer, Berlin, november 1993
An introduction to Isabelle, a genetic theorem prover which supports a variety of logics. The volume... Celoten opis
? points 118 b
48.90 €
Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

30 dni za vračilo blaga

Drugi so kupili tudi

En el suelo hay poesía : camino al verso Jose Luis Álvarez Velez / Knjiga Mehka
common.buy 13.36 €
Where Hummingbirds Come From Bilingual Amharic English Adele Marie Crouch / Knjiga Mehka
common.buy 14.07 €
Ce monstre aux yeux verts Villemot / Knjiga Mehka
common.buy 13.26 €
#VivreAuVingtEtUnièmeSiècle Kosma Knjiga Mehka
common.buy 17.81 €
WWE: Hell in a Call 2022, 2 DVDs, 2 DVD-Video / Film DVD
common.buy 20.95 €
Tres Cuentos Nikolai Gógol / Knjiga Mehka
common.buy 18.42 €
Sherlock Holmes - Sammelbox, 3 DVD Henri Safran / Film DVD
common.buy 23.89 €
Le sculture di Monteoliveto. Una storia di Rinascimento a Napoli Riccardo Naldi / Knjiga Mehka
common.buy 24.29 €
Los Profetas Menores: Oseas, Joel, Amos. Abdias, Jonas, Miqueas, Nahum, Habacuc, Sofonias, Hageo, Zacarias, Malaquias. Esther Gonzalez / Knjiga Mehka
common.buy 12.34 €
Feuersturm Alfred Lambeck / Knjiga Mehka
common.buy 12.75 €
PONS Rechtschreibung und Zeichensetzung auf einen Blick Deutsch / Tiskani izdelki Zemljevid
common.buy 7.48 €
Desafio de Humanizar El Trabajo Grether Lucía Real Pérez / Knjiga Mehka
common.buy 49.51 €
Handlungsunrecht der Steuerhinterziehung Alexander Hoff / Knjiga Mehka
common.buy 50.22 €
Odvaha za úsvitu Helen Lawsonová / Knjiga Mehka
common.buy 0.90 €
Lehrbuch Der Gesamten Chemie Friedrich L. Breusch / Knjiga Mehka
common.buy 29.56 €
Minus Drei und der Zahlensalat Ute Krause / Knjiga Trda
common.buy 8.29 €
Innovationsfinanzierung durch Venture Capital Arno Nonnen / Knjiga Mehka
common.buy 31.99 €
Geschichtspolitik in Der "berliner Republik" Manuel Becker / Knjiga Mehka
common.buy 63.89 €
Rechtsschutz gegen nicht zur Rechtsetzung gehörende Akte der Legislative. Hubert Schmelter / Knjiga Mehka
common.buy 44.55 €
Špaky v tŕní Zuzana Cigánová / Knjiga Trda
common.buy 4.34 €
Nevěrná Vladimír Kavčiak / Knjiga Trda
common.buy 6.67 €

An introduction to Isabelle, a genetic theorem prover which supports a variety of logics. The volume outlines theoretical aspects and then demonstrates Isabelle's use in practice. All functions are described, and advice is given on correct usage.

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 Isabelle
Avtor Lawrence C. Paulson, Tobias Nipkow
Jezik Angleščina
Vezava Knjiga - Mehka
Datum izida 1994
Število strani 329
EAN 9783540582441
ISBN 3540582444
Koda Libristo 02780943
Založba Springer, Berlin
Teža 535
Mere 156 x 234 x 18

Kategorije

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
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
Computing & Information Technology > Computer science > Artificial intelligence
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

Modeling by Object-Driven Linear Elemental Relations H.J. Greenberg / Knjiga Mehka
common.buy 146.11 €
Non-Archimedean Tame Topology and Stably Dominated Types (AM-192) Ehud Hrushovski / Knjiga Mehka
common.buy 103.88 €
Einstein's Unfinished Revolution Lee Smolin / Knjiga Mehka
common.buy 11.43 €
Account Of The Remarkable Occurrences In The Life And Travels Of Col. James Smith W. M. Darlington / Knjiga Mehka
common.buy 23.48 €
Managing Service Productivity Ali Emrouznejad / Knjiga Trda
common.buy 146.11 €
Protection of Electronic Circuits R Standler / Knjiga Mehka
common.buy 21.05 €
Millions Frank Cottrell Boyce / Knjiga Mehka
common.buy 11.33 €
Healing Code Alexander Loyd / Knjiga Mehka
common.buy 13.15 €
Writer's Task from Nietzsche to Brecht Hans Reiss / Knjiga Mehka
common.buy 53.25 €
Natural Hazard Mitigation Policy Daniel J. Alesch / Knjiga Mehka
common.buy 97.51 €
Primary Bone Tumors and Tumorous Conditions in Children Claus-Peter Adler / Knjiga Mehka
common.buy 97.51 €
Art of War (Illustrated Edition) Sun Tzu / Knjiga Mehka
common.buy 14.07 €
Modelling Methodology for Physiology and Medicine Ewart Carson / Knjiga Trda
common.buy 120.39 €
Razor's Edge G Michael Hopf / Knjiga Mehka
common.buy 14.98 €
Appeasement in International Politics StephenR Rock / Knjiga Trda
common.buy 37.86 €
Top
Alice's Adventures in Wonderland colouring book John Tenniel / Knjiga Mehka
common.buy 13.05 €
Love Trances Craig Rovinsky / Knjiga Trda
common.buy 28.85 €
Industrial Resources Of Wisconsin (1853) John Gregory / Knjiga Mehka
common.buy 30.98 €

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?