Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier DPD 25.00 lei FAN Courier 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile de peste 349 LEI prin Easybox, FAN BOX și Coletăria.

Isabelle

A Generic Theorem Prover

Limba englezăengleză
Carte Carte broșată
Carte Isabelle Lawrence C. Paulson
Codul Libristo: 02780943
Editura Springer, Berlin, noiembrie 1993
An introduction to Isabelle, a genetic theorem prover which supports a variety of logics. The volume... Descrierea completă
? points 132 b
286.65 lei
În depozitul extern Expediem în 5-8 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

En el suelo hay poesía : camino al verso Jose Luis Álvarez Velez / Carte Carte broșată
common.buy 76.17 lei
Where Hummingbirds Come From Bilingual Amharic English Adele Marie Crouch / Carte Carte broșată
common.buy 81.82 lei
Ce monstre aux yeux verts Villemot / Carte Carte broșată
common.buy 75.03 lei
#VivreAuVingtEtUnièmeSiècle Kosma Carte Carte broșată
common.buy 100.73 lei
WWE: Hell in a Call 2022, 2 DVDs, 2 DVD-Video / Videoclip DVD
common.buy 121.63 lei
Tres Cuentos Nikolai Gógol / Carte Carte broșată
common.buy 108.78 lei
Sherlock Holmes - Sammelbox, 3 DVD Henri Safran / Videoclip DVD
common.buy 138.67 lei
Odvaha za úsvitu Helen Lawsonová / Carte Carte broșată
common.buy 18.70 lei
Los Profetas Menores: Oseas, Joel, Amos. Abdias, Jonas, Miqueas, Nahum, Habacuc, Sofonias, Hageo, Zacarias, Malaquias. Esther Gonzalez / Carte Carte broșată
common.buy 72.20 lei
PONS Rechtschreibung und Zeichensetzung auf einen Blick Deutsch / Materiale tipărite Hartă
common.buy 43.25 lei
Desafio de Humanizar El Trabajo Grether Lucía Real Pérez / Carte Carte broșată
common.buy 293.13 lei
Handlungsunrecht der Steuerhinterziehung Alexander Hoff / Carte Carte broșată
common.buy 294.49 lei
Feuersturm Alfred Lambeck / Carte Carte broșată
common.buy 75.34 lei
Lehrbuch Der Gesamten Chemie Friedrich L. Breusch / Carte Carte broșată
common.buy 173.88 lei
Minus Drei und der Zahlensalat Ute Krause / Carte Copertă tare
common.buy 49.21 lei
Innovationsfinanzierung durch Venture Capital Arno Nonnen / Carte Carte broșată
common.buy 189.35 lei
Geschichtspolitik in Der "berliner Republik" Manuel Becker / Carte Carte broșată
common.buy 374.54 lei
Rechtsschutz gegen nicht zur Rechtsetzung gehörende Akte der Legislative. Hubert Schmelter / Carte Carte broșată
common.buy 314.24 lei
Špaky v tŕní Zuzana Cigánová / Carte Copertă tare
common.buy 26.95 lei
Nevěrná Vladimír Kavčiak / Carte Copertă tare
common.buy 39.60 lei

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.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Isabelle
Autor Lawrence C. Paulson, Tobias Nipkow
Limba engleză
Legare Carte - Carte broșată
Data publicării 1994
Număr pagini 329
EAN 9783540582441
ISBN 3540582444
Codul Libristo 02780943
Editura Springer, Berlin
Greutatea 535
Dimensiuni 156 x 234 x 18

Categorii

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
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Love Trances Craig Rovinsky / Carte Copertă tare
common.buy 137.52 lei
Writer's Task from Nietzsche to Brecht Hans Reiss / Carte Carte broșată
common.buy 307.97 lei
Account Of The Remarkable Occurrences In The Life And Travels Of Col. James Smith W. M. Darlington / Carte Carte broșată
common.buy 123.62 lei
Bliss Hillary Fields / Carte Carte broșată
common.buy 104.49 lei
Non-Archimedean Tame Topology and Stably Dominated Types (AM-192) Ehud Hrushovski / Carte Carte broșată
common.buy 560.87 lei
Einstein's Unfinished Revolution Lee Smolin / Carte Carte broșată
common.buy 69.38 lei
Art of War (Illustrated Edition) Sun Tzu / Carte Carte broșată
common.buy 86.21 lei
Managing Service Productivity Ali Emrouznejad / Carte Copertă tare
common.buy 856.82 lei
Protection of Electronic Circuits R Standler / Carte Carte broșată
common.buy 125.08 lei
Leftin
Millions Frank Cottrell Boyce / Carte Carte broșată
common.buy 49.00 lei
Top
Healing Code Alexander Loyd / Carte Carte broșată
common.buy 79.62 lei
Natural Hazard Mitigation Policy Daniel J. Alesch / Carte Carte broșată
common.buy 571.74 lei
Modeling by Object-Driven Linear Elemental Relations H.J. Greenberg / Carte Carte broșată
common.buy 856.82 lei
Primary Bone Tumors and Tumorous Conditions in Children Claus-Peter Adler / Carte Carte broșată
common.buy 571.74 lei
Industrial Resources Of Wisconsin (1853) John Gregory / Carte Carte broșată
common.buy 179.74 lei
Modelling Methodology for Physiology and Medicine Ewart Carson / Carte Copertă tare
common.buy 633.29 lei
Razor's Edge G Michael Hopf / Carte Carte broșată
common.buy 87.25 lei
Appeasement in International Politics StephenR Rock / Carte Copertă tare
common.buy 217.15 lei
Alice's Adventures in Wonderland colouring book John Tenniel / Carte Carte broșată
common.buy 77.95 lei
Blaze Ronna M Bacon / Carte Carte broșată
common.buy 96.66 lei
Modern Soccer Coach Gary Curneen / Carte Carte broșată
common.buy 112.02 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?