Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Punto Poste 5.49 € Punto Poste 5.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 € Corriere Bartolini 4.49 € Punto Bartolini 3.49 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Higher Order Logic Theorem Proving and Its Applications

Name: Higher Order Logic Theorem Proving and Its Applications
Brand: Springer, Berlin
SKU: 01566006
Price: 51.09 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

Lingua

Inglese

Libro In brossura

Codice Libristo: 01566006

Casa editrice Springer, Berlin, novembre 1994

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

Codice Libristo: 01566006

125 b

51.09 €

Magazzino esterno Inviamo tra 5-8 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

LEGO Ninjago - Der Herr der Wünsche

Rigido

8.99 €

Filosofía de Richard Rorty Pilar Salvá Soria

In brossura

35.29 €

Wissenschaftstheorie der Soziologie Gerhard Wagner

In brossura

26.19 €

Nahrungsnetze im Schweizerischen Nationalpark Anita C. Risch

In brossura

37.59 €

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

In brossura

24.39 €

Évaluation et didactique Bart Daniel Bart

Adobe ePub DRM

46.99 €

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

Rigido

15.99 €

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

Foglio

16.79 €

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.

Attrice & Poliglotta

EWA KASP per

Riproduci video

Libristo ha la più grande selezione di letteratura in lingue straniere. Per questo compro i miei libri qui.

Informazioni sul libro

Titolo completo Higher Order Logic Theorem Proving and Its Applications

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

Lingua

Inglese

Rilegatura Libro - In brossura

Data di pubblicazione 1995

Numero di pagine 408

EAN 9783540602750

ISBN 3540602755

Codice Libristo 01566006

Casa editrice Springer, Berlin

Peso 547

Dimensioni 156 x 234 x 21

Categorie

Tecnologia, Ingegneria, Agricoltura, processi industriali > Ingegneria elettronica e delle comunicazioni > Ingegneria elettronica > Ingegneria del controllo automatico > Robotica

Matematica e Scienze > Matematica > Fondamenti della matematica > Logica matematica

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Intelligenza artificiale > Apprendimento automatico (Machine learning)

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Teoria matematica della computazione

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Progettazione e analisi di sistemi

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Architettura e progettazione logica dei computer

Regala questo libro oggi stesso

È facile

1 Aggiungi il libro al carrello e scegli la consegna come regalo 2 Ti invieremo subito il buono 3 Il libro arriverà all'indirizzo del destinatario

Potrebbe interessarti anche

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

In brossura

15.39 €

The Kiss Bet, Vol. 3 OCHOA INGRID

In brossura

12.09 €

Dark and Drowning Tide Saft Allison

In brossura

9.19 €

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

In brossura

38.69 €

Decision Making in Emergency Medicine Manda Raz

In brossura

99.59 €

Introduction to World Religions Darryl E. Howard

Rigido

294.09 €

Staff Cars in Germany WW2 Vol. 2 Ranger

In brossura

16.89 €

Data Science with Julia Paul D McNicholas

In brossura

78.39 €

Triple Ken Follett

In brossura

11.49 €

Passover Family Monique Polak

Leporello

10.09 €

Experiencing Spiritual Encouragement: Devotional Thoughts from the Word Ann Varnum

In brossura

13.49 €

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

In brossura

49.39 €

Church Missionary Intelligencer and Record Seeley Jackson & Halliday Publishing

Rigido

38.69 €

Richard Scarry's Please and Thank You Book Richard Scarry

In brossura

4.39 €

Oogenesis - The Universal Process Verlhac

Rigido

136.09 €

Anatomy of Fraud and Corruption Veronica Morino

Rigido

213.29 €

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

Rigido

87.29 €

Integrating EU Migration Policy into the European Neighbourhood Policy Katerina Stancova

In brossura

41.59 €

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

In brossura

16.99 €