Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

Theorem Proving in Higher Order Logics

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

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Theorem Proving in Higher Order Logics David Basin
Libristo-code: 01562897
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, augustus 2003
This book constitutes the refereed proceedings of the 16th International Conference on Theorem Provi... Volledige beschrijving
? points 125 b
51.78 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Entwicklung eines Rahmenkonzepts zur IT-basierten Unterstützung des Chancen- und Risikomanagements in Konzernen Raphaela Saitz / Boek Gebonden (paperback)
common.buy 57.15 €
Creature dal mare profondo William Hope Hodgson / Boek Gebonden (paperback)
common.buy 17.62 €
BRIO World 33658 Baustellenfahrzeuge - Ergänzung für die BRIO-Holzeisenbahn - Empfohlen ab 3 Jahren / Spel/speelgoed Spel
common.buy 30.09 €
Encyklopädie und Methodologie der philologischen Wissenschaften Ernst Bratuscheck / Boek Gebonden (harde band)
common.buy 50.97 €
De la poubelle au musée. Anthropologie des restes Octave Debary / Boek Gebonden (paperback)
common.buy 16.10 €
Fale ao Sol: Há muitas horas no dia pra se pensar Edmar Camara / Boek Gebonden (paperback)
common.buy 10.33 €
Delito de fuga CHRISTOPHE LEON / Boek Gebonden (paperback)
common.buy 17.93 €
Abu -Lala Mahari ( - ) Avetik Isahakyan / Boek Gebonden (paperback)
common.buy 20.06 €
Identification Des Esp ces pices Prioritaires Pour La Domestication Serge Alain Mbong Ekollo / Boek Gebonden (paperback)
common.buy 34.95 €
High School Musical 3, Senior Year, 1 DVD (Extended Edition) Seth Flaum / Video Dvd
common.buy 11.04 €
Slovníček základních hudebních pojmů Ludmila Vrkočová / Boek Gebonden (paperback)
common.buy 5.46 €
Všechny cesty vedou do Říma Ivan Burkert / Boek Gebonden (harde band)
common.buy 3.23 €

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.

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Theorem Proving in Higher Order Logics
Auteur David Basin, Burkhart Wolff
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2003
Aantal pagina's 366
EAN 9783540406648
ISBN 3540406646
Libristo-code 01562897
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 1190
Afmetingen 155 x 233 x 21

Categorieën

Technologie, techniek, landbouw, industriële processen > Elektronica en communicatietechnologie > Elektronicatechnologie > Automatische controletechnologie > Robotica
Informatica en informatietechnologie > Informatica > Kunstmatige intelligentie (AI) > Expertsystemen / kennissystemen
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling
Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie
Informatica en informatietechnologie > Informatica > Computerarchitectuur en logica-ontwerp
Filosofie en religie > Filosofie
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

I Am Grateful: A BIG Gratitude Jar Project Book Roni Jacks / Boek Gebonden (paperback)
common.buy 11.24 €
Stabilization, Safety, and Security of Distributed Systems Shlomi Dolev / Boek Gebonden (paperback)
common.buy 115.93 €
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 / Boek Gebonden (paperback)
common.buy 14.28 €
Life and Art of Anne Eisner (1911-1967) Christie McDonald / Boek Gebonden (harde band)
common.buy 36.27 €
The Rapids Of Niagara (1876) Susan Warner / Boek Gebonden (paperback)
common.buy 36.47 €
The Horror, the Funny, and the Weird: Short Stories Akeyla Battles / Boek Gebonden (paperback)
common.buy 10.33 €
Bad People Robertson / Boek Gebonden (harde band)
common.buy 21.58 €
TOP
Vampire Knight: Memories, Vol. 3 Matsuri Hino / Boek Gebonden (paperback)
common.buy 8.40 €
National Geographic GuideMap Touristische Karte Texas National Geographic Maps / Drukwerk Kaart
common.buy 9.62 €
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 / Boek Gebonden (harde band)
common.buy 26.95 €
Independent Watchmakers Steve Huyton / Boek Gebonden (harde band)
common.buy 41.24 €
Tumors in Domestic Animals 5e Meuten / Boek Gebonden (harde band)
common.buy 248.90 €
The Magic School Bus Inside a Beehive Joanna Cole / Boek Gebonden (paperback)
common.buy 19.65 €
White Cliffs Bettine Manktelow / Boek Gebonden (paperback)
common.buy 17.52 €
Horns and Hair of the High Country Lloyd Antypowich / Boek Gebonden (harde band)
common.buy 25.22 €
I Survived the Wellington Avalanche, 1910 (I Survived #22) TARSHIS LAUREN / Boek Gebonden (paperback)
common.buy 5.46 €
Decoding Subaltern Politics James C. Scott / Boek Gebonden (harde band)
common.buy 209.47 €
Emerging Topics in Macroeconomics Ricahrd O Bailly / Boek Gebonden (harde band)
common.buy 154.04 €
Alcidamas Alcidamas / Boek Gebonden (paperback)
common.buy 40.93 €
Insights in Decision Making Hogarth / Boek Gebonden (harde band)
common.buy 194.07 €
TOP
Berserk Volume 32 Kentaro Miura / Boek Gebonden (paperback)
common.buy 12.15 €
Fracture mechanics of concrete: Material characterization and testing Alberto Carpinteri / Boek Gebonden (paperback)
common.buy 51.78 €
The Country of the Pointed Firs Sarah Orne Jewett / Boek Gebonden (paperback)
common.buy 6.07 €
Nieuw
Tom Clancy Line of Demarcation M.P. Woodward / Boek Gebonden (paperback)
common.buy 9.11 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?