[email protected] Risponderemo entro 24 ore

[email protected]

Spedizione gratuita con Packeta per un prezzo superiore a 79.99 €

BRT 7.99 € Punto BRT 7.99 € DHL 7.99 € HR Parcel 7.49 € GLS 3.99 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Automated Reasoning with Analytic Tableaux and Related Methods

Name: Automated Reasoning with Analytic Tableaux and Related Methods
Brand: Springer, Berlin
SKU: 05274694
Price: 72.67 EUR
Availability: InStock

Didier Galmiche

Lingua

Inglese

Libro In brossura

Codice Libristo: 05274694

Casa editrice Springer, Berlin, novembre 1996

This book constitutes the refereed proceedings of the International Conference on Analytic Tableaux... Descrizione completa

Codice Libristo: 05274694

172 b

72.67 €

Magazzino esterno in piccole quantità Inviamo tra 13-16 giorni

30 giorni per il reso

Potrebbe interessarti anche

Atlas of Knee Arthroscopy Radu Prejbeanu

/ Rigido

263.32 €

Book of Meissen Robert E. Rontgen

/ Rigido

104.36 €

Thinking Outside the Box William G. O'Callaghan

/ In brossura

68.71 €

Boehmischen Landtagsverhandlungen und Landtagsbeschlusse vom Jahre 1526 an bis auf die Neuzeit Ohne Autor

/ In brossura

138.50 €

Primordial Emotions Derek Denton

/ Rigido

167.30 €

Changing Our Minds Susan H. Aiken

/ In brossura

49.66 €

Collected Poems Donald Davie

/ In brossura

27.07 €

Until Darwin, Science, Human Variety and the Origins of Race B. Ricardo Brown

/ Rigido

250.26 €

Alternatives to the Hospital for Acute Psychiatric Treatment Richard Warner

/ Rigido

39.81 €

Year Book of Ophthalmology 2013 Christopher J. Rapuano

/ Rigido

164.94 €

Yeats Yug Chaudhry

/ In brossura

47.62 €

Beyond Hollywood's Grasp Harry Waldman

/ Rigido

132.29 €

Animal Reproduction Lucas T. Dahnof

/ Rigido

155.95 €

Kolbenpumpen Einschliesslich Der Flugel- Und Rotationspumpen Heinrich Berg

/ In brossura

66.14 €

Delicious Probiotic Drinks Julia Mueller

/ Rigido

17.22 €

Ethik Und Protest Gerhard Schmidtchen

/ In brossura

79.09 €

This book constitutes the refereed proceedings of the International Conference on Analytic Tableaux and Related Methods, TABLEAUX'97, held in Pont-a-Mousson, France, in May 1997.The volume presents 22 revised full papers selected from a total of 49 submissions. Also included are two invited papers and two system descriptions. The volume covers the whole spectrum of tableaux-based theorem proving and its applications including theoretical foundations, methodological issues, implementation techniques, and system development. Besides classical logics, among the logics dealt with are modal, intuitionistic, many-valued, and temporal logic.

Informazioni sul libro

Titolo completo Automated Reasoning with Analytic Tableaux and Related Methods

Autore Didier Galmiche

Lingua

Inglese

Rilegatura Libro - In brossura

Data di pubblicazione 1997

Numero di pagine 380

EAN 9783540629207

ISBN 3540629203

Codice Libristo 05274694

Casa editrice Springer, Berlin

Peso 510

Dimensioni 156 x 234 x 20

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 > Sistemi esperti e basati sulla conoscenza

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

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

Consegna

Guida all'acquisto