phone +36 1 6333 184
LIBRISTO 0
Ingyenes szállítás a Packetával, 19 990 Ft feletti vásárlás esetén
Posta 1 795 Ft DPD 1 995 Ft PostaPont / Csomagautomata 1 690 Ft Postán 1 690 Ft GLS futár 1 590 Ft Packeta 990 Ft
phone Kapcsolat phoneHogyan vásároljunk

Theorem Proving in Higher Order Logics

Nyelv AngolAngol
Könyv Puha kötésű
Könyv Theorem Proving in Higher Order Logics David Basin
Libristo kód: 01562897
Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, augusztus 2003
This book constitutes the refereed proceedings of the 16th International Conference on Theorem Provi... Teljes leírás
? points 168 b
26 153 Ft
Beszállítói készleten alacsony példányszámban Küldés 12-17 napon belül

30 nap a termék visszaküldésére

Ezt is ajánljuk

Tumors in Domestic Animals 5e Meuten / Kemény kötésű
common.buy 104 885 Ft
Action Plan For IELTS Academic Module Vanessa Jakeman / Puha kötésű
common.buy 10 798 Ft
Entwicklung eines Rahmenkonzepts zur IT-basierten Unterstützung des Chancen- und Risikomanagements in Konzernen Raphaela Saitz / Puha kötésű
common.buy 23 668 Ft
Stabilization, Safety, and Security of Distributed Systems Shlomi Dolev / Puha kötésű
common.buy 52 311 Ft
White Cliffs Bettine Manktelow / Puha kötésű
common.buy 7 795 Ft
Decoding Subaltern Politics James C. Scott / Kemény kötésű
common.buy 85 172 Ft
Delito de fuga CHRISTOPHE LEON / Puha kötésű
common.buy 6 704 Ft

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.

Információ a könyvről

Teljes megnevezés Theorem Proving in Higher Order Logics
Szerző David Basin, Burkhart Wolff
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 2003
Oldalszám 366
EAN 9783540406648
ISBN 3540406646
Libristo kód 01562897
Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Súly 1190
Méretek 155 x 233 x 21

Kategória

Technológia, mérnöki tudományok, mezőgazdaság > Elektronikus és kommunikációs gépészet > Villamosmérnöki tudomány > Automata irányítási gépészet > Robotika
Számítástechnika és információtechnológia > Számítógéptudomány > Mesterséges intelligencia > Szakértői rendszerek / tudás alapú rendszerek
Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Szoftvermérnöki tudomány
Számítástechnika és információtechnológia > Számítógéptudomány > Számítógéptudomány matematikai elmélete
Számítástechnika és információtechnológia > Számítógéptudomány > Számítógépes építészet és logika tervezés
Filozófia és vallás > Filozófia
Ajándékozza oda ezt a könyvet még ma
Nagyon egyszerű
1 Tegye a kosárba könyvet, és válassza ki a kiszállítás ajándékként opciót 2 Rögtön küldjük Önnek az utalványt 3 A könyv megérkezik a megajándékozott címére

Belépés

Bejelentkezés a saját fiókba. Még nincs Libristo fiókja? Hozza létre most!

 
kötelező
kötelező
Elfelejtett jelszó

Nincs fiókja? Szerezze meg a Libristo fiók kedvezményeit!

A Libristo fióknak köszönhetően mindent a felügyelete alatt tarthat.

Libristo fiók létrehozása