Research Catalog

Logic for programming artificial intelligence and reasoning : 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003 : proceedings

Title: Logic for programming artificial intelligence and reasoning : 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003 : proceedings / Moshe Y. Vardi, Anderi Voronkov (eds.).
Author: LPAR (10th : 2003 : Alma-Ata, Kazakhstan)
Publication: Berlin ; New York : Springer, c2003.

Items in the Library & Off-site

Filter by

1 Item

Item details
Status	Format	Access	Call Number	Item Location
Request for On-site Use Request Scan How do I pick up this item and when will it be ready?	Text	Request in advance	JSE 04-273	Offsite

Details

Additional Authors

Description

xiii, 436 p. : ill.; 24 cm.

Series Statement

Lecture notes in artificial intelligence ; 2850

Uniform Title

Lecture notes in computer science ; 2850.
Lecture notes in computer science. Lecture notes in artificial intelligence.

Alternative Title

LPAR 2003

Subjects

Bibliography (note)

Includes bibliographical references and index.

Additional Formats (note)

Also available via the World Wide Web.

Call Number

JSE 04-273

ISBN

3540201017

LCCN

2003061048

OCLC

53007054

Conference

LPAR (10th : 2003 : Alma-Ata, Kazakhstan)

Title

Logic for programming artificial intelligence and reasoning : 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003 : proceedings / Moshe Y. Vardi, Anderi Voronkov (eds.).

Imprint

Berlin ; New York : Springer, c2003.

Series

Lecture notes in artificial intelligence ; 2850

Lecture notes in computer science ; 2850.

Lecture notes in computer science. Lecture notes in artificial intelligence.

Bibliography

Includes bibliographical references and index.

Additional Formats

Also available via the World Wide Web.

Added Author

Vardi, Moshe Y.

Voronkov, A. (Andreĭ), 1959-

Research Call Number

JSE 04-273

View in Legacy Catalog