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

Format:

• Book
• Conference/Event

Contributor:

• Vardi, Moshe Y.
• Voronkov, Andrei, 1959-

Conference Name:

• LPAR (10th : 2003 : Almaty, Kazakhstan)

Series:

• Lecture notes in computer science ; 2850.
• Lecture notes in computer science. Lecture notes in artificial intelligence
• Lecture notes in computer science, 0302-9743 ; 2850. Lecture notes in artificial intelligence

Language:

English

Subjects (All):

• Logic programming--Congresses.
• Logic programming.
• Automatic theorem proving--Congresses.
• Automatic theorem proving.

Genre:

• Conference papers and proceedings.

Physical Description:

xiii, 436 pages : illustrations ; 24 cm.

Other Title:

LPAR 2003

Place of Publication:

Berlin ; New York : Springer, [2003]

Notes:

Includes bibliographical references and index.

ISBN:

3540201017

OCLC:

53007054