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 FAN Courier 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Theorem Proving in Higher Order Logics

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

Limba englezăengleză
Carte Carte broșată
Carte Theorem Proving in Higher Order Logics David Basin
Codul Libristo: 01562897
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, august 2003
This book constitutes the refereed proceedings of the 16th International Conference on Theorem Provi... Descrierea completă
? points 132 b
284.23 lei
În depozitul extern Expediem în 5-8 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

BRIO World 33658 Baustellenfahrzeuge - Ergänzung für die BRIO-Holzeisenbahn - Empfohlen ab 3 Jahren / Joc / Jucărie Joc
common.buy 165.48 lei
Creature dal mare profondo William Hope Hodgson / Carte Carte broșată
common.buy 92.11 lei
Encyklopädie und Methodologie der philologischen Wissenschaften Ernst Bratuscheck / Carte Copertă tare
common.buy 277.50 lei
Entwicklung eines Rahmenkonzepts zur IT-basierten Unterstützung des Chancen- und Risikomanagements in Konzernen Raphaela Saitz / Carte Carte broșată
common.buy 315.22 lei
De la poubelle au musée. Anthropologie des restes Octave Debary / Carte Carte broșată
common.buy 83.72 lei
Fale ao Sol: Há muitas horas no dia pra se pensar Edmar Camara / Carte Carte broșată
common.buy 56.78 lei
Delito de fuga CHRISTOPHE LEON / Carte Carte broșată
common.buy 82.16 lei
Abu -Lala Mahari ( - ) Avetik Isahakyan / Carte Carte broșată
common.buy 108.80 lei
Identification Des Esp ces pices Prioritaires Pour La Domestication Serge Alain Mbong Ekollo / Carte Carte broșată
common.buy 192.73 lei
High School Musical 3, Senior Year, 1 DVD (Extended Edition) Seth Flaum / Videoclip DVD
common.buy 55.02 lei
Slovníček základních hudebních pojmů Ludmila Vrkočová / Carte Carte broșată
common.buy 28.28 lei
Všechny cesty vedou do Říma Ivan Burkert / Carte Copertă tare
common.buy 17.92 lei

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.

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 Theorem Proving in Higher Order Logics
Autor David Basin, Burkhart Wolff
Limba engleză
Legare Carte - Carte broșată
Data publicării 2003
Număr pagini 366
EAN 9783540406648
ISBN 3540406646
Codul Libristo 01562897
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 1190
Dimensiuni 155 x 233 x 21

Categorii

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer science > Artificial intelligence > Expert systems / knowledge-based systems
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
Philosophy & Religion > Philosophy
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

I Am Grateful: A BIG Gratitude Jar Project Book Roni Jacks / Carte Carte broșată
common.buy 61.54 lei
Stabilization, Safety, and Security of Distributed Systems Shlomi Dolev / Carte Carte broșată
common.buy 630.76 lei
The Magic School Bus Inside a Beehive Joanna Cole / Carte Carte broșată
common.buy 108.80 lei
Bad People Robertson / Carte Copertă tare
common.buy 112.42 lei
Life and Art of Anne Eisner (1911-1967) Christie McDonald / Carte Copertă tare
common.buy 189.62 lei
The Rapids Of Niagara (1876) Susan Warner / Carte Carte broșată
common.buy 198.95 lei
The Horror, the Funny, and the Weird: Short Stories Akeyla Battles / Carte Carte broșată
common.buy 56.78 lei
Top
Vampire Knight: Memories, Vol. 3 Matsuri Hino / Carte Carte broșată
common.buy 42.68 lei
National Geographic GuideMap Touristische Karte Texas National Geographic Maps / Materiale tipărite Hartă
common.buy 53.46 lei
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 / Carte Copertă tare
common.buy 147.35 lei
Independent Watchmakers Steve Huyton / Carte Copertă tare
common.buy 202.37 lei
Art Book DK / Carte Copertă tare
common.buy 128.38 lei
Tumors in Domestic Animals 5e Meuten / Carte Copertă tare
common.buy 1 236.24 lei
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 / Carte Carte broșată
common.buy 79.37 lei
The Country of the Pointed Firs Sarah Orne Jewett / Carte Carte broșată
common.buy 33.88 lei
Qualitative Research: Concepts, Contexts, and Methods Muhammad Rizwan Ashraf / Carte Carte broșată
common.buy 476.67 lei
Nou
Tom Clancy Line of Demarcation M.P. Woodward / Carte Carte broșată
common.buy 50.87 lei
Fracture mechanics of concrete: Material characterization and testing Alberto Carpinteri / Carte Carte broșată
common.buy 284.23 lei
Top
Berserk Volume 32 Kentaro Miura / Carte Carte broșată
common.buy 63.82 lei
Insights in Decision Making Hogarth / Carte Copertă tare
common.buy 991.58 lei
Alcidamas Alcidamas / Carte Carte broșată
common.buy 203.30 lei
I Survived the Wellington Avalanche, 1910 (I Survived #22) TARSHIS LAUREN / Carte Carte broșată
common.buy 30.46 lei
Emerging Topics in Macroeconomics Ricahrd O Bailly / Carte Copertă tare
common.buy 802.78 lei
Decoding Subaltern Politics James C. Scott / Carte Copertă tare
common.buy 1 140.08 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?