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č PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Theorem Proving in Higher Order Logics

11th International Conference, TPHOLs '98, Canberra, Australia, September 27 - October 1, 1998, Proceedings

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Theorem Proving in Higher Order Logics Jim Grundy
Libristo kód: 05274873
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, září 1998
This book constitutes the refereed proceedings of the 11th International Conference on Theorem Provi... Celý popis
? points 125 b
1 250 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

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

Zákazníci také koupili

Datentransportkostenoptimale Gestaltung von Rechnernetzen Hans Demmer / Kniha Brožovaná
common.buy 1 284 Kč
70 ANS D'EDITION 1943 2013 collegium / Kniha Brožovaná
common.buy 186 Kč
ALEMANY GRAMATICA BASICA LD-CT-705 / Kniha Kniha
common.buy 129 Kč
MARCOS NAVARRO PUERTO / Kniha Brožovaná
common.buy 686 Kč
Un simple roce de mangas Pulido / Kniha Brožovaná
common.buy 477 Kč
Épreuves orales d'entretien aux concours des écoles de commerce. Bac+2 à Bac+5 Attelan / Kniha Brožovaná
common.buy 565 Kč
Reflexología : una forma de buena salud Nicola Hall / Kniha Brožovaná
common.buy 492 Kč
La conscience, l'inconscient et le sujet Ferrand / Kniha Brožovaná
common.buy 397 Kč
Senza distinzione. Di sesso, di razza, di lingua Stefano Bartezzaghi / Kniha Brožovaná
common.buy 417 Kč
Djela Jugoslavenske Akademije Znanosti I Umjetnosti, Volume 18 Jugoslavenska Akademija Znan Umjetnosti / Kniha Brožovaná
common.buy 445 Kč
Por una Nueva Libertad (Edición en Letras Grandes): El Manifiesto Libertario Murray N Rothbard / Kniha Brožovaná
common.buy 403 Kč
101 tareas para desarrollar las competencias 6 José Martínez Romero / Kniha Brožovaná
common.buy 291 Kč
Consultant-Knigge Dirk H. Hartel / Kniha Brožovaná
common.buy 894 Kč
Enquete Sur Les Conseils de Prud'hommes Et Les Livrets d'Ouvriers TBD / Kniha Brožovaná
common.buy 902 Kč
Das moderne Bild des Krieges Robert Gander / Kniha Brožovaná
common.buy 1 450 Kč
Worte Sind Meine Brand-Satze Gegen Eure Knastmaschinerie Ralf-Axel Simon / Kniha Brožovaná
common.buy 436 Kč
Die Interkulturelle Problematik Deutsch-Franzoesischer Unternehmenskooperationen Martin Strübing / Kniha Brožovaná
common.buy 870 Kč

This book constitutes the refereed proceedings of the 11th International Conference on Theorem Proving in Higher Order Logics, TPHOLs '98, held in Canberra, Australia, in September/October 1998.The 26 revised full papers presented were carefully reviewed and selected from a total of 52 submissions. Also included are two invited papers. The papers address all current aspects of theorem proving in higher order logics and formal verification and program analysis. Besides the HOL system, the theorem provers Coq, Isabelle, LAMBDA, LEGO, NuPrl, and PVS are discussed.

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 Theorem Proving in Higher Order Logics
Autor Jim Grundy, Malcolm Newey
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 1998
Počet stran 496
EAN 9783540649878
ISBN 3540649875
Libristo kód 05274873
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 1580
Rozměry 155 x 233 x 28

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
Výpočetní a informační technologie > Informatika > Umělá inteligence > Strojní učení
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 > Operační systémy
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

Transactions of the National Association for the Promotion of Social Science National Association for the Promotion O / Kniha Pevná
common.buy 1 054 Kč
Stand Up and Be Counted: Middle Leadership in Education Contexts Kerry / Kniha Pevná
common.buy 4 835 Kč
Intergalactic P.S. 3 Hope Larson / Kniha Brožovaná
common.buy 142 Kč
S. J. Perelman Steven H. Gale / Kniha Brožovaná
common.buy 938 Kč
Upper Tract Urothelial Carcinoma Shahrokh F. Shariat / Kniha Brožovaná
common.buy 2 924 Kč
Clinician's Guide to Allergic Diseases Kevin Parker / Kniha Pevná
common.buy 2 864 Kč
A Relation Of The Colony Of The Lord Baron Of Baltimore, In Maryland, Near Virginia Andrew White / Kniha Pevná
common.buy 772 Kč
Maggie: A Girl of the Streets (a Story of New York) Stephen Crane / Kniha Brožovaná
common.buy 593 Kč
Seize the Day Saul Bellow / Kniha Brožovaná
common.buy 272 Kč
Enriching Multimedia with Sensory Effects Markus Waltl / Kniha Brožovaná
common.buy 1 208 Kč
Holy Living Matthew Everhard / E-kniha Adobe ePub DRM
common.buy 384 Kč
DVD Country Guitar Mueller Mike / Kniha Brožovaná
common.buy 213 Kč
Scattering Theory And Biomedical Engineering Modelling And Applications - Proceedings Of The 4th International Workshop Dimitrios I Fotiadis / Kniha Pevná
common.buy 3 261 Kč
Tiffany Desk Treasures George A. Kemeny / Kniha Pevná
common.buy 1 699 Kč
Tobias Smollett in the Enlightenment Richard J. Jones / Kniha Pevná
common.buy 3 011 Kč
Copilots for Linguists Tiago Timponi Torrent / Kniha Brožovaná
common.buy 607 Kč
Modern Folk Art Coloring Book Dawn Nicole Warnaar / Kniha Brožovaná
common.buy 385 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?