Spedizione gratuita per ordini superiori a 69,99 euro.

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

Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €

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

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Spedizione gratuita per ordini superiori a 69,99 euro.

Logic Programming and Automated Reasoning

Name: Logic Programming and Automated Reasoning
Brand: Springer, Berlin
SKU: 05274269
Price: 53.79 EUR
Availability: InStock
Author: Andrei Voronkov
ISBN: 9783540557272

International Conference LPAR '92, St.Petersburg, Russia, July 15-20, 1992. Proceedings

Andrei Voronkov

Lingua

Inglese

Libro In brossura

Codice Libristo: 05274269

Casa editrice Springer, Berlin, novembre 1991

This volume contains the proceedings of LPAR '92, the international conference on logic programming... Descrizione completa

Codice Libristo: 05274269

132 b

53.79 €

Magazzino esterno Inviamo tra 5-8 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Joomla! 1.7 - Begynder Guide Hagen Graf

In brossura

19.09 €

Les quatre saisons Merrill

In brossura

10.49 €

Abbi coraggio! Britta Teckentrup

Rigido

21.29 €

L'ISLA DEU TESAUR R. L.

Rigido

19.39 €

L'anglais juridique YALA

In brossura

16.49 €

Nietzsche. La detresse du present Astor

In brossura

16.49 €

Jonas der kleine Wichtel (Wandkalender 2026 DIN A4 hoch), CALVENDO Monatskalender Calvendo

Calendario

20.49 €

Ted Bundy: Az idegen mellettem Ann Rule

Rigido

20.19 €

Le Désordre médical et les moyens d'y remédier Jean-Louis Funck-Brentano

In brossura

39.89 €

Rumeurs Anne-Marie Brichau-Magnabosco

In brossura

13.29 €

Raubtier Gemeinde Stockstadt am Rhein

In brossura

10.49 €

Christianopolis Johann Valentin Andreae

In brossura

7.49 €

Bristol UK Aerial Photographs and Tourist Attractions: Aerial Photography Interpretation Llewelyn Pritchard Ma

In brossura

12.59 €

Verfestungsbuch der Stadt Stralsund Francke O. Francke

In brossura

20.59 €

Los cachorros : Mario Vargas Llosa Fernando Rodríguez Mansilla

In brossura

14.39 €

Organisationales Lernen Probst

In brossura

55.29 €

Little Amadeus, Vorspielstücke. Bd.2 Hans-Günter Heumann

In brossura

22.49 €

Inés meines Herzens Isabel Allende

In brossura

11.29 €

This volume contains the proceedings of LPAR '92, the international conference on logic programming and automated reasoning held in St. Petersburg in July 1992. The aim of the conference was to bring together researchers from the Russian and the international logic programming and theorem proving communities. The topics of interest covered by papers inthe volume include automated theorem proving, non-monotonic reasoning, applications of mathematical logic to computer science, deductive databases, implementation of declarative concepts, and programming in non-classical logics. LPAR '92 is the successor of the First and Second Russian Conferences on Logic Programming held in 1990 and 1991, respectively, the proceedings of which were published in LNAI Vol. 592.

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 Logic Programming and Automated Reasoning

Autore Andrei Voronkov

Lingua

Inglese

Rilegatura Libro - In brossura

Data di pubblicazione 1992

Numero di pagine 516

EAN 9783540557272

ISBN 354055727X

Codice Libristo 05274269

Casa editrice Springer, Berlin

Peso 766

Dimensioni 155 x 233 x 27

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 > Teoria matematica della computazione

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Intelligenza artificiale