Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Zásilkovna 39 Kč Výdejní místo DPD 49 Kč PPL shop 49 Kč Balíkovna 49 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Isabelle

A Generic Theorem Prover

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Isabelle Lawrence C. Paulson
Libristo kód: 02780943
Nakladatelství Springer, Berlin, listopad 1993
An introduction to Isabelle, a genetic theorem prover which supports a variety of logics. The volume... Celý popis
? points 118 b
1 182 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

Až 30 dní na vrácení zboží

Zákazníci také koupili

En el suelo hay poesía : camino al verso Jose Luis Álvarez Velez / Kniha Brožovaná
common.buy 350 Kč
Where Hummingbirds Come From Bilingual Amharic English Adele Marie Crouch / Kniha Brožovaná
common.buy 339 Kč
Ce monstre aux yeux verts Villemot / Kniha Brožovaná
common.buy 345 Kč
#VivreAuVingtEtUnièmeSiècle Kosma Kniha Brožovaná
common.buy 463 Kč
WWE: Hell in a Call 2022, 2 DVDs, 2 DVD-Video / Video DVD
common.buy 506 Kč
Tres Cuentos Nikolai Gógol / Kniha Brožovaná
common.buy 446 Kč
Sherlock Holmes - Sammelbox, 3 DVD Henri Safran / Video DVD
common.buy 577 Kč
Odvaha za úsvitu Helen Lawsonová / Kniha Brožovaná
common.buy 83 Kč
Los Profetas Menores: Oseas, Joel, Amos. Abdias, Jonas, Miqueas, Nahum, Habacuc, Sofonias, Hageo, Zacarias, Malaquias. Esther Gonzalez / Kniha Brožovaná
common.buy 299 Kč
PONS Rechtschreibung und Zeichensetzung auf einen Blick Deutsch / Tiskovina Mapa
common.buy 181 Kč
Desafio de Humanizar El Trabajo Grether Lucía Real Pérez / Kniha Brožovaná
common.buy 1 198 Kč
Handlungsunrecht der Steuerhinterziehung Alexander Hoff / Kniha Brožovaná
common.buy 1 214 Kč
Feuersturm Alfred Lambeck / Kniha Brožovaná
common.buy 308 Kč
Lehrbuch Der Gesamten Chemie Friedrich L. Breusch / Kniha Brožovaná
common.buy 715 Kč
Minus Drei und der Zahlensalat Ute Krause / Kniha Pevná
common.buy 200 Kč
Innovationsfinanzierung durch Venture Capital Arno Nonnen / Kniha Brožovaná
common.buy 774 Kč
Geschichtspolitik in Der "berliner Republik" Manuel Becker / Kniha Brožovaná
common.buy 1 544 Kč
Rechtsschutz gegen nicht zur Rechtsetzung gehörende Akte der Legislative. Hubert Schmelter / Kniha Brožovaná
common.buy 1 292 Kč
Špaky v tŕní Zuzana Cigánová / Kniha Pevná
common.buy 118 Kč
Nevěrná Vladimír Kavčiak / Kniha Pevná
common.buy 165 Kč

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.

Herečka & Polyglotka
EWA KASP pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Isabelle
Autor Lawrence C. Paulson, Tobias Nipkow
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 1994
Počet stran 329
EAN 9783540582441
ISBN 3540582444
Libristo kód 02780943
Nakladatelství Springer, Berlin
Váha 535
Rozměry 156 x 234 x 18

Kategorie

Technologie, strojírenství, zemědělství > Elektronické a komunikační inženýrství > Elektrotechnické inženýrství > Automatická kontrola v inženýrství > Robotika
Matematika a věda > Matematika > Matematické základy > Matematická logika
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Softwarové inženýrství
Výpočetní a informační technologie > Informatika > Teorie algoritmů
Výpočetní a informační technologie > Informatika > Architektura počítače a logic design
Výpočetní a informační technologie > Informatika > Umělá inteligence
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Mohlo by vás také zajímat

Love Trances Craig Rovinsky / Kniha Pevná
common.buy 600 Kč
Writer's Task from Nietzsche to Brecht Hans Reiss / Kniha Brožovaná
common.buy 1 352 Kč
Account Of The Remarkable Occurrences In The Life And Travels Of Col. James Smith W. M. Darlington / Kniha Brožovaná
common.buy 536 Kč
Bliss Hillary Fields / Kniha Brožovaná
common.buy 428 Kč
Non-Archimedean Tame Topology and Stably Dominated Types (AM-192) Ehud Hrushovski / Kniha Brožovaná
common.buy 2 300 Kč
Einstein's Unfinished Revolution Lee Smolin / Kniha Brožovaná
common.buy 276 Kč
Art of War (Illustrated Edition) Sun Tzu / Kniha Brožovaná
common.buy 364 Kč
Managing Service Productivity Ali Emrouznejad / Kniha Pevná
common.buy 3 532 Kč
Protection of Electronic Circuits R Standler / Kniha Brožovaná
common.buy 508 Kč
Levně
Millions Frank Cottrell Boyce / Kniha Brožovaná
common.buy 225 Kč
Top
Healing Code Alexander Loyd / Kniha Brožovaná
common.buy 317 Kč
Natural Hazard Mitigation Policy Daniel J. Alesch / Kniha Brožovaná
common.buy 2 357 Kč
Modeling by Object-Driven Linear Elemental Relations H.J. Greenberg / Kniha Brožovaná
common.buy 3 532 Kč
Primary Bone Tumors and Tumorous Conditions in Children Claus-Peter Adler / Kniha Brožovaná
common.buy 2 357 Kč
Industrial Resources Of Wisconsin (1853) John Gregory / Kniha Brožovaná
common.buy 750 Kč
Modelling Methodology for Physiology and Medicine Ewart Carson / Kniha Pevná
common.buy 2 777 Kč
Razor's Edge G Michael Hopf / Kniha Brožovaná
common.buy 362 Kč
Appeasement in International Politics StephenR Rock / Kniha Pevná
common.buy 916 Kč
Alice's Adventures in Wonderland colouring book John Tenniel / Kniha Brožovaná
common.buy 291 Kč
Blaze Ronna M Bacon / Kniha Brožovaná
common.buy 403 Kč
Modern Soccer Coach Gary Curneen / Kniha Brožovaná
common.buy 467 Kč

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

Nemáte účet? Získejte výhody Libristo účtu!

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet
Knižní rádce Libroamiko
Ahoj, jsem Libroamiko, můžu pomoct?