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 € Pošta 4.99 € Overseas 4.99 € Box Now 4.49 € GLS 4.99 € DPD točka 3.49 € GLS paketomat 3.99 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Isabelle

A Generic Theorem Prover

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Isabelle Lawrence C. Paulson
Libristo kod: 02780943
Nakladnici Springer, Berlin, studeni 1993
An introduction to Isabelle, a genetic theorem prover which supports a variety of logics. The volume... Cijeli opis
? points 125 b
51.63 €
Vanjske zalihe Šaljemo za 5-8 dana

30 dana za povrat kupljenih proizvoda

Kupci su kupili i

En el suelo hay poesía : camino al verso Jose Luis Álvarez Velez / Knjiga Meki uvez
common.buy 13.94 €
Where Hummingbirds Come From Bilingual Amharic English Adele Marie Crouch / Knjiga Meki uvez
common.buy 14.74 €
Ce monstre aux yeux verts Villemot / Knjiga Meki uvez
common.buy 13.73 €
#VivreAuVingtEtUnièmeSiècle Kosma Knjiga Meki uvez
common.buy 18.58 €
WWE: Hell in a Call 2022, 2 DVDs, 2 DVD-Video / Video DVD
common.buy 22.02 €
Los Profetas Menores: Oseas, Joel, Amos. Abdias, Jonas, Miqueas, Nahum, Habacuc, Sofonias, Hageo, Zacarias, Malaquias. Esther Gonzalez / Knjiga Meki uvez
common.buy 13.03 €
Tres Cuentos Nikolai Gógol / Knjiga Meki uvez
common.buy 19.49 €
Sherlock Holmes - Sammelbox, 3 DVD Henri Safran / Video DVD
common.buy 25.05 €
Feuersturm Alfred Lambeck / Knjiga Meki uvez
common.buy 13.53 €
PONS Rechtschreibung und Zeichensetzung auf einen Blick Deutsch / Tiskanica Mapa
common.buy 5.65 €
Desafio de Humanizar El Trabajo Grether Lucía Real Pérez / Knjiga Meki uvez
common.buy 52.54 €
Handlungsunrecht der Steuerhinterziehung Alexander Hoff / Knjiga Meki uvez
common.buy 53.04 €
Odvaha za úsvitu Helen Lawsonová / Knjiga Meki uvez
common.buy 1.00 €
Lehrbuch Der Gesamten Chemie Friedrich L. Breusch / Knjiga Meki uvez
common.buy 31.22 €
Minus Drei und der Zahlensalat Ute Krause / Knjiga Tvrdi uvez
common.buy 8.78 €
Innovationsfinanzierung durch Venture Capital Arno Nonnen / Knjiga Meki uvez
common.buy 33.94 €
Geschichtspolitik in Der "berliner Republik" Manuel Becker / Knjiga Meki uvez
common.buy 67.39 €
Rechtsschutz gegen nicht zur Rechtsetzung gehörende Akte der Legislative. Hubert Schmelter / Knjiga Meki uvez
common.buy 47.08 €
Špaky v tŕní Zuzana Cigánová / Knjiga Tvrdi uvez
common.buy 4.74 €
Nevěrná Vladimír Kavčiak / Knjiga Tvrdi uvez
common.buy 7.06 €

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.

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 Isabelle
Autor Lawrence C. Paulson, Tobias Nipkow
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 1994
Broj stranica 329
EAN 9783540582441
ISBN 3540582444
Libristo kod 02780943
Nakladnici Springer, Berlin
Težina 535
Dimenzije 156 x 234 x 18

Kategorija

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

Modeling by Object-Driven Linear Elemental Relations H.J. Greenberg / Knjiga Meki uvez
common.buy 154.20 €
Non-Archimedean Tame Topology and Stably Dominated Types (AM-192) Ehud Hrushovski / Knjiga Meki uvez
common.buy 108.02 €
Einstein's Unfinished Revolution Lee Smolin / Knjiga Meki uvez
common.buy 12.22 €
Art of War (Illustrated Edition) Sun Tzu / Knjiga Meki uvez
common.buy 14.64 €
Managing Service Productivity Ali Emrouznejad / Knjiga Tvrdi uvez
common.buy 154.20 €
Protection of Electronic Circuits R Standler / Knjiga Meki uvez
common.buy 22.32 €
Millions Frank Cottrell Boyce / Knjiga Meki uvez
common.buy 11.91 €
Healing Code Alexander Loyd / Knjiga Meki uvez
common.buy 14.44 €
Account Of The Remarkable Occurrences In The Life And Travels Of Col. James Smith W. M. Darlington / Knjiga Meki uvez
common.buy 23.43 €
Natural Hazard Mitigation Policy Daniel J. Alesch / Knjiga Meki uvez
common.buy 102.86 €
Primary Bone Tumors and Tumorous Conditions in Children Claus-Peter Adler / Knjiga Meki uvez
common.buy 102.86 €
Writer's Task from Nietzsche to Brecht Hans Reiss / Knjiga Meki uvez
common.buy 55.77 €
Modelling Methodology for Physiology and Medicine Ewart Carson / Knjiga Tvrdi uvez
common.buy 120.14 €
Razor's Edge G Michael Hopf / Knjiga Meki uvez
common.buy 15.75 €
Appeasement in International Politics StephenR Rock / Knjiga Tvrdi uvez
common.buy 39.50 €
Top
Alice's Adventures in Wonderland colouring book John Tenniel / Knjiga Meki uvez
common.buy 13.94 €
Love Trances Craig Rovinsky / Knjiga Tvrdi uvez
common.buy 30.20 €
Industrial Resources Of Wisconsin (1853) John Gregory / Knjiga Meki uvez
common.buy 32.53 €

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