Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost Kurier 12.99 zł Punkt DPD 13.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Isabelle

A Generic Theorem Prover

Język AngielskiAngielski
Książka Miękka
Książka Isabelle Lawrence C. Paulson
Kod Libristo: 02780943
Wydawnictwo Springer, Berlin, listopad 1993
An introduction to Isabelle, a genetic theorem prover which supports a variety of logics. The volume... Cały opis
? points 125 b
220.85 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

En el suelo hay poesía : camino al verso Jose Luis Álvarez Velez / Książka Miękka
common.buy 62.04 zł
Where Hummingbirds Come From Bilingual Amharic English Adele Marie Crouch / Książka Miękka
common.buy 63.25 zł
Ce monstre aux yeux verts Villemot / Książka Miękka
common.buy 61.13 zł
#VivreAuVingtEtUnièmeSiècle Kosma Książka Miękka
common.buy 83.60 zł
WWE: Hell in a Call 2022, 2 DVDs, 2 DVD-Video / Wideo DVD
common.buy 94.12 zł
Tres Cuentos Nikolai Gógol / Książka Miękka
common.buy 83.60 zł
Sherlock Holmes - Sammelbox, 3 DVD Henri Safran / Wideo DVD
common.buy 107.38 zł
Los Profetas Menores: Oseas, Joel, Amos. Abdias, Jonas, Miqueas, Nahum, Habacuc, Sofonias, Hageo, Zacarias, Malaquias. Esther Gonzalez / Książka Miękka
common.buy 55.86 zł
Feuersturm Alfred Lambeck / Książka Miękka
common.buy 57.79 zł
PONS Rechtschreibung und Zeichensetzung auf einen Blick Deutsch / Prasa Mapa
common.buy 33.60 zł
Desafio de Humanizar El Trabajo Grether Lucía Real Pérez / Książka Miękka
common.buy 224.90 zł
Handlungsunrecht der Steuerhinterziehung Alexander Hoff / Książka Miękka
common.buy 226.82 zł
Odvaha za úsvitu Helen Lawsonová / Książka Miękka
common.buy 4.44 zł
Lehrbuch Der Gesamten Chemie Friedrich L. Breusch / Książka Miękka
common.buy 133.70 zł
Minus Drei und der Zahlensalat Ute Krause / Książka Twarda
common.buy 37.64 zł
Innovationsfinanzierung durch Venture Capital Arno Nonnen / Książka Miękka
common.buy 145.24 zł
Geschichtspolitik in Der "berliner Republik" Manuel Becker / Książka Miękka
common.buy 288.46 zł
Rechtsschutz gegen nicht zur Rechtsetzung gehörende Akte der Legislative. Hubert Schmelter / Książka Miękka
common.buy 201.42 zł
Špaky v tŕní Zuzana Cigánová / Książka Twarda
common.buy 21.85 zł
Nevěrná Vladimír Kavčiak / Książka Twarda
common.buy 32.18 zł

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.

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Isabelle
Autor Lawrence C. Paulson, Tobias Nipkow
Język Angielski
Oprawa Książka - Miękka
Data wydania 1994
Liczba stron 329
EAN 9783540582441
ISBN 3540582444
Kod Libristo 02780943
Wydawnictwo Springer, Berlin
Waga 535
Wymiary 156 x 234 x 18

Kategoria

Technika, inżynieria i rolnictwo, procesy przemysłowe > Elektronika i telekomunikacja > Inżynieria elektroniczna > Automatyka przemysłowa > Robotyka
Matematyka i nauki ścisłe > Matematyka > Podstawy matematyki > Logika matematyczna
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Sztuczna inteligencja
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

Modeling by Object-Driven Linear Elemental Relations H.J. Greenberg / Książka Miękka
common.buy 659.73 zł
Non-Archimedean Tame Topology and Stably Dominated Types (AM-192) Ehud Hrushovski / Książka Miękka
common.buy 464.99 zł
Einstein's Unfinished Revolution Lee Smolin / Książka Miękka
common.buy 52.42 zł
Account Of The Remarkable Occurrences In The Life And Travels Of Col. James Smith W. M. Darlington / Książka Miękka
common.buy 94.73 zł
Managing Service Productivity Ali Emrouznejad / Książka Twarda
common.buy 659.73 zł
Protection of Electronic Circuits R Standler / Książka Miękka
common.buy 95.74 zł
TOP
Millions Frank Cottrell Boyce / Książka Miękka
common.buy 53.33 zł
Healing Code Alexander Loyd / Książka Miękka
common.buy 67.50 zł
Writer's Task from Nietzsche to Brecht Hans Reiss / Książka Miękka
common.buy 249.80 zł
Natural Hazard Mitigation Policy Daniel J. Alesch / Książka Miękka
common.buy 440.29 zł
Primary Bone Tumors and Tumorous Conditions in Children Claus-Peter Adler / Książka Miękka
common.buy 440.29 zł
Art of War (Illustrated Edition) Sun Tzu / Książka Miękka
common.buy 62.54 zł
Modelling Methodology for Physiology and Medicine Ewart Carson / Książka Twarda
common.buy 490.60 zł
Razor's Edge G Michael Hopf / Książka Miękka
common.buy 67.30 zł
Appeasement in International Politics StephenR Rock / Książka Twarda
common.buy 169.03 zł
Alice's Adventures in Wonderland colouring book John Tenniel / Książka Miękka
common.buy 59.51 zł
Love Trances Craig Rovinsky / Książka Twarda
common.buy 129.14 zł
Industrial Resources Of Wisconsin (1853) John Gregory / Książka Miękka
common.buy 139.17 zł

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?