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

16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Theorem Proving in Higher Order Logics David Basin
Libristo kód: 01562897
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, srpen 2003
This book constitutes the refereed proceedings of the 16th International Conference on Theorem Provi... 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

BRIO World 33658 Baustellenfahrzeuge - Ergänzung für die BRIO-Holzeisenbahn - Empfohlen ab 3 Jahren / Hra/Hračka Hra
common.buy 687 Kč
Creature dal mare profondo William Hope Hodgson / Kniha Brožovaná
common.buy 427 Kč
Encyklopädie und Methodologie der philologischen Wissenschaften Ernst Bratuscheck / Kniha Pevná
common.buy 1 174 Kč
Entwicklung eines Rahmenkonzepts zur IT-basierten Unterstützung des Chancen- und Risikomanagements in Konzernen Raphaela Saitz / Kniha Brožovaná
common.buy 1 299 Kč
De la poubelle au musée. Anthropologie des restes Octave Debary / Kniha Brožovaná
common.buy 389 Kč
Fale ao Sol: Há muitas horas no dia pra se pensar Edmar Camara / Kniha Brožovaná
common.buy 237 Kč
Delito de fuga CHRISTOPHE LEON / Kniha Brožovaná
common.buy 361 Kč
Abu -Lala Mahari ( - ) Avetik Isahakyan / Kniha Brožovaná
common.buy 463 Kč
Identification Des Esp ces pices Prioritaires Pour La Domestication Serge Alain Mbong Ekollo / Kniha Brožovaná
common.buy 794 Kč
High School Musical 3, Senior Year, 1 DVD (Extended Edition) Seth Flaum / Video DVD
common.buy 255 Kč
Slovníček základních hudebních pojmů Ludmila Vrkočová / Kniha Brožovaná
common.buy 126 Kč
Všechny cesty vedou do Říma Ivan Burkert / Kniha Pevná
common.buy 74 Kč

This book constitutes the refereed proceedings of the 16th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2003, held in Rome, Italy in September 2003.§The 24 revised full papers presented together with an invited paper were carefully reviewed and selected from 50 submissions. The papers are organized in topical sections on hardware and Assembler languages, proof automation, fool combination, logic extensions, theorem prover technology, mathematical theories, and security. Among the theorem proving systems discussed are HOL, Coq, MetaPRL, and Isabelle/Isar.

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 David Basin, Burkhart Wolff
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2003
Počet stran 366
EAN 9783540406648
ISBN 3540406646
Libristo kód 01562897
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 1190
Rozměry 155 x 233 x 21

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 > Expertní systémy/systémy založené na znalostech
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
Filozofie a náboženství > Filozofie
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

I Am Grateful: A BIG Gratitude Jar Project Book Roni Jacks / Kniha Brožovaná
common.buy 258 Kč
Stabilization, Safety, and Security of Distributed Systems Shlomi Dolev / Kniha Brožovaná
common.buy 2 675 Kč
The Magic School Bus Inside a Beehive Joanna Cole / Kniha Brožovaná
common.buy 445 Kč
Bad People Robertson / Kniha Pevná
common.buy 456 Kč
Life and Art of Anne Eisner (1911-1967) Christie McDonald / Kniha Pevná
common.buy 879 Kč
The Rapids Of Niagara (1876) Susan Warner / Kniha Brožovaná
common.buy 837 Kč
The Horror, the Funny, and the Weird: Short Stories Akeyla Battles / Kniha Brožovaná
common.buy 237 Kč
Top
Vampire Knight: Memories, Vol. 3 Matsuri Hino / Kniha Brožovaná
common.buy 174 Kč
National Geographic GuideMap Touristische Karte Texas National Geographic Maps / Tiskovina Mapa
common.buy 218 Kč
Nature of Truth and Falshood; With Some Motives to the Practice of Mutual Sincerity. a Sermon Preached Before the Queen, in St. George's Chapel at Win WILLIAM REEVES / Kniha Pevná
common.buy 619 Kč
Independent Watchmakers Steve Huyton / Kniha Pevná
common.buy 882 Kč
Art Book DK / Kniha Pevná
common.buy 490 Kč
Tumors in Domestic Animals 5e Meuten / Kniha Pevná
common.buy 5 446 Kč
Top
Executive Functioning Workbook for Kids: 40 Fun Activities to Build Memory, Flexible Thinking, and Self-Control Skills at Home, in School, and Beyond GRAND SHARON / Kniha Brožovaná
common.buy 303 Kč
The Country of the Pointed Firs Sarah Orne Jewett / Kniha Brožovaná
common.buy 136 Kč
Qualitative Research: Concepts, Contexts, and Methods Muhammad Rizwan Ashraf / Kniha Brožovaná
common.buy 1 964 Kč
Nové
Tom Clancy Line of Demarcation M.P. Woodward / Kniha Brožovaná
common.buy 206 Kč
Fracture mechanics of concrete: Material characterization and testing Alberto Carpinteri / Kniha Brožovaná
common.buy 1 182 Kč
Top
Berserk Volume 32 Kentaro Miura / Kniha Brožovaná
common.buy 256 Kč
Insights in Decision Making Hogarth / Kniha Pevná
common.buy 4 405 Kč
Alcidamas Alcidamas / Kniha Brožovaná
common.buy 895 Kč
I Survived the Wellington Avalanche, 1910 (I Survived #22) TARSHIS LAUREN / Kniha Brožovaná
common.buy 125 Kč
Emerging Topics in Macroeconomics Ricahrd O Bailly / Kniha Pevná
common.buy 3 329 Kč
Decoding Subaltern Politics James C. Scott / Kniha Pevná
common.buy 4 835 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?