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

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

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

Tot 30 dagen retourrecht

Klanten kochten ook

Datentransportkostenoptimale Gestaltung von Rechnernetzen Hans Demmer / Boek Gebonden (paperback)
common.buy 52.98 €
70 ANS D'EDITION 1943 2013 collegium / Boek Gebonden (paperback)
common.buy 7.86 €
ALEMANY GRAMATICA BASICA LD-CT-705 / Boek Boek
common.buy 5.94 €
MARCOS NAVARRO PUERTO / Boek Gebonden (paperback)
common.buy 31.08 €
Un simple roce de mangas Pulido / Boek Gebonden (paperback)
common.buy 21.59 €
Épreuves orales d'entretien aux concours des écoles de commerce. Bac+2 à Bac+5 Attelan / Boek Gebonden (paperback)
common.buy 23.41 €
Reflexología : una forma de buena salud Nicola Hall / Boek Gebonden (paperback)
common.buy 22.50 €
La conscience, l'inconscient et le sujet Ferrand / Boek Gebonden (paperback)
common.buy 16.54 €
Senza distinzione. Di sesso, di razza, di lingua Stefano Bartezzaghi / Boek Gebonden (paperback)
common.buy 17.25 €
Djela Jugoslavenske Akademije Znanosti I Umjetnosti, Volume 18 Jugoslavenska Akademija Znan Umjetnosti / Boek Gebonden (paperback)
common.buy 19.27 €
Por una Nueva Libertad (Edición en Letras Grandes): El Manifiesto Libertario Murray N Rothbard / Boek Gebonden (paperback)
common.buy 17.45 €
101 tareas para desarrollar las competencias 6 José Martínez Romero / Boek Gebonden (paperback)
common.buy 13.31 €
Consultant-Knigge Dirk H. Hartel / Boek Gebonden (paperback)
common.buy 42.18 €
Enquete Sur Les Conseils de Prud'hommes Et Les Livrets d'Ouvriers / Boek Gebonden (paperback)
common.buy 39.05 €
Das moderne Bild des Krieges Robert Gander / Boek Gebonden (paperback)
common.buy 62.87 €
Worte Sind Meine Brand-Satze Gegen Eure Knastmaschinerie Ralf-Axel Simon / Boek Gebonden (paperback)
common.buy 17.96 €
Die Interkulturelle Problematik Deutsch-Franzoesischer Unternehmenskooperationen Martin Strübing / Boek Gebonden (paperback)
common.buy 35.82 €

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.

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 Jim Grundy, Malcolm Newey
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 1998
Aantal pagina's 496
EAN 9783540649878
ISBN 3540649875
Libristo-code 05274873
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 1580
Afmetingen 155 x 233 x 28

Categorieën

Technologie, techniek, landbouw, industriële processen > Elektronica en communicatietechnologie > Elektronicatechnologie > Automatische controletechnologie > Robotica
Informatica en informatietechnologie > Informatica > Kunstmatige intelligentie (AI) > Machinaal leren
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling
Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie
Informatica en informatietechnologie > Informatica > Computerarchitectuur en logica-ontwerp
Informatica en informatietechnologie > Besturingssystemen
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

Transactions of the National Association for the Promotion of Social Science National Association for the Promotion O / Boek Gebonden (harde band)
common.buy 45.71 €
Stand Up and Be Counted: Middle Leadership in Education Contexts Kerry / Boek Gebonden (harde band)
common.buy 208.61 €
Intergalactic P.S. 3 Hope Larson / Boek Gebonden (paperback)
common.buy 6.25 €
S. J. Perelman Steven H. Gale / Boek Gebonden (paperback)
common.buy 52.98 €
Upper Tract Urothelial Carcinoma Shahrokh F. Shariat / Boek Gebonden (paperback)
common.buy 120.60 €
Clinician's Guide to Allergic Diseases Kevin Parker / Boek Gebonden (harde band)
common.buy 124.84 €
A Relation Of The Colony Of The Lord Baron Of Baltimore, In Maryland, Near Virginia Andrew White / Boek Gebonden (harde band)
common.buy 33.50 €
Maggie: A Girl of the Streets (a Story of New York) Stephen Crane / Boek Gebonden (paperback)
common.buy 26.84 €
Seize the Day Saul Bellow / Boek Gebonden (paperback)
common.buy 12.81 €
Enriching Multimedia with Sensory Effects Markus Waltl / Boek Gebonden (paperback)
common.buy 52.47 €
Holy Living Matthew Everhard / E-book Adobe ePub DRM
common.buy 15.94 €
DVD Country Guitar Mueller Mike / Boek Gebonden (paperback)
common.buy 9.88 €
Scattering Theory And Biomedical Engineering Modelling And Applications - Proceedings Of The 4th International Workshop Dimitrios I Fotiadis / Boek Gebonden (harde band)
common.buy 140.99 €
Tiffany Desk Treasures George A. Kemeny / Boek Gebonden (harde band)
common.buy 70.24 €
Tobias Smollett in the Enlightenment Richard J. Jones / Boek Gebonden (harde band)
common.buy 137.15 €
Copilots for Linguists Tiago Timponi Torrent / Boek Gebonden (paperback)
common.buy 26.23 €
Modern Folk Art Coloring Book Dawn Nicole Warnaar / Boek Gebonden (paperback)
common.buy 18.16 €

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?