Gratis verzending vanaf 59,99 euro.

Status van bestelling controleren

Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken

Gratis bezorging met Zásilkovna boven 59.99 €

DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €

Contact

Hoe winkelen bij ons werkt

Help

Mijn account

▸ Leeg :-(

Gratis verzending vanaf 59,99 euro.

Higher Order Logic Theorem Proving and Its Applications

Name: Higher Order Logic Theorem Proving and Its Applications
Brand: Springer, Berlin
SKU: 01566006
Price: 51.56 EUR
Availability: InStock
Author: E. Th. Schubert
ISBN: 9783540602750

8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995. Proceedings

E. Th. Schubert

Phillip J. Windley

James Alves-Foss

Taal

Engels

Boek Gebonden (paperback)

Libristo-code: 01566006

Uitgeverij Springer, Berlin, november 1994

This book constitutes the proceedings of the 8th International Conference on Higher Order Logic Theo... Volledige beschrijving

Libristo-code: 01566006

125 b

51.56 €

In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

LEGO Ninjago - Der Herr der Wünsche

Gebonden (harde band)

9.07 €

Filosofía de Richard Rorty Pilar Salvá Soria

Gebonden (paperback)

35.62 €

Wissenschaftstheorie der Soziologie Gerhard Wagner

Gebonden (paperback)

26.43 €

Nahrungsnetze im Schweizerischen Nationalpark Anita C. Risch

Gebonden (paperback)

46.92 €

Die Formstoffee Der Eisen Und Stahlgiesserei Ihr Wesen, Ihre Prufung Und Aufbereitung (1920) Carl Irresberger

Gebonden (paperback)

28.75 €

Évaluation et didactique Bart Daniel Bart

Adobe ePub DRM

45.41 €

Gesunde Menschen, Lebensfragen, Kranke Menschen, Lehr- und Fastenbrief, Verjüngung auf natürlichem Wege, Lebensfragen und andere Originaltexte Arnold Ehret

Gebonden (harde band)

16.14 €

Bumblebee - Ausgabe 2013 für das 3. / 4. Schuljahr Gisela Ehlers

Blad

16.95 €

This book constitutes the proceedings of the 8th International Conference on Higher Order Logic Theorem Proving and Its Applications, held in Aspen Grove, Utah, USA in September 1995.The 26 papers selected by the program committee for inclusion in this volume document the advances in the field achieved since the predecessor conference. The papers presented fall into three general categories: representation of formalisms in higher order logic; applications of mechanized higher order logic; and enhancements to the HOL and other theorem proving systems.

Actrice & Polyglot

EWA KASP voor

Video afspelen

Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Higher Order Logic Theorem Proving and Its Applications

Auteur E. Th. Schubert, Phillip J. Windley, James Alves-Foss

Taal

Engels

Bindwijze Boek - Gebonden (paperback)

Datum van uitgifte 1995

Aantal pagina's 408

EAN 9783540602750

ISBN 3540602755

Libristo-code 01566006

Uitgeverij Springer, Berlin

Gewicht 547

Afmetingen 156 x 234 x 21

Categorieën

Technologie, techniek, landbouw, industriële processen > Elektronica en communicatietechnologie > Elektronicatechnologie > Automatische controletechnologie > Robotica

Wiskunde en wetenschap > Wiskunde > Grondslagen van de wiskunde > Wiskundige logica

Informatica en informatietechnologie > Informatica > Kunstmatige intelligentie (AI) > Machinaal leren

Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie

Informatica en informatietechnologie > Informatica > Systeemanalyse en systeemontwerp

Informatica en informatietechnologie > Informatica > Computerarchitectuur en logica-ontwerp

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

Fuels Programs Registration User Guide Version 2.0 U S Environmental Protection Agency

Gebonden (paperback)

18.36 €

The Kiss Bet, Vol. 3 OCHOA INGRID

Gebonden (paperback)

15.03 €

Dark and Drowning Tide Saft Allison

Gebonden (paperback)

11.50 €

Mastering Graphics Programming with Vulkan: Develop a modern rendering engine from first principles to state-of-the-art techniques Gabriel Sassone

Gebonden (paperback)

45.71 €

Decision Making in Emergency Medicine Manda Raz

Gebonden (paperback)

100.51 €

Introduction to World Religions Darryl E. Howard

Gebonden (harde band)

284.81 €

Staff Cars in Germany WW2 Vol. 2 Ranger

Gebonden (paperback)

22.09 €

Data Science with Julia Paul D McNicholas

Gebonden (paperback)

92.34 €

Triple Ken Follett

Gebonden (paperback)

14.22 €

Passover Family Monique Polak

Leporello (harmonicaboek)

9.68 €

Experiencing Spiritual Encouragement: Devotional Thoughts from the Word Ann Varnum

Gebonden (paperback)

13.01 €

Morphological diversity, nutritional quality and value addition of jackfruit (Artocarpus heterophyllus) in Kerala Jiby John Mathew

Gebonden (paperback)

47.12 €

Church Missionary Intelligencer and Record Seeley Jackson & Halliday Publishing

Gebonden (harde band)

45.71 €

Richard Scarry's Please and Thank You Book Richard Scarry

Gebonden (paperback)

5.44 €

Oogenesis - The Universal Process Verlhac

Gebonden (harde band)

169.25 €

Anatomy of Fraud and Corruption Veronica Morino

Gebonden (harde band)

251.10 €

Corals of Australia and the Indo-Pacific J.E.N. Veron

Gebonden (harde band)

84.37 €

Integrating EU Migration Policy into the European Neighbourhood Policy Katerina Stancova

Gebonden (paperback)

52.47 €

Letters Describing a Tour Through Part of South Wales. by a Pedestrian Traveller. with Views, Designed and Etched by the Author. Armand-Louis Bon Maudet

Gebonden (paperback)

20.07 €