Logic for Programming, Artificial Intelligence, and Reasoning (vol. # 3835): 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings

Geoff Sutcliffe; Andrei Voronkov; LPAR (Conference)

Back

Book

Logic for Programming, Artificial Intelligence, and Reasoning (vol. # 3835): 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings

Geoff Sutcliffe, Andrei Voronkov and LPAR (Conference)

Lecture Notes in Computer Science, Springer-Verlag GmbH, 1st ed. 2005.

LPAR (Conference) (12th : Montego Bay, Jamaica) 2005

2005

Abstract

Artificial intelligence

Automatic theorem proving

Automatisches Beweisverfahren

Computer science

Congresses

Inferenz <Künstliche Intelligenz>

Kongress

Logic design

Logic programming

Logics and Meanings of Programs

Logische Programmierung

Mathematical Logic and Formal Languages

Montego Bay

Online-Ressource

Programmierlogik

Programming Techniques

Software engineering

Software Engineering/Programming and Operating Systems

edited by Geoff Sutcliffe, Andrei Voronkov katkey: 1332221_290 recordID: TT050322342 recordOrigin: ZDB-2-SCS recordOrigin: ZDB-2-LNC recordOrigin: Springer gndPER: /Sutcliffe, Geoff gndPER: /Voronkov, Andrei cdFull: http://dx.doi.org/10.1007/11591191 gndSWD: 4195096-3/Logische Programmierung gndSWD: 4069034-9/Automatisches Beweisverfahren gndSWD: 4047408-2/Programmierlogik gndSWD: 4333533-0/Inferenz <Künstliche Intelligenz> CreationStatement: edited by Geoff Sutcliffe, Andrei Voronkov

Metrics

1 Record Views

Details

Title: Logic for Programming, Artificial Intelligence, and Reasoning (vol. # 3835)
Creators: Geoff Sutcliffe
Andrei Voronkov
LPAR (Conference)
Conference: LPAR (Conference) (12th : Montego Bay, Jamaica) 2005
Series: Lecture Notes in Computer Science
Publisher: Springer-Verlag GmbH; Berlin Heidelberg
Edition: 1st ed. 2005.
Number of pages: 755
ISBN: 354030553X; 3540316507; 9783540316503; 9783540305538; 3540316507; 9783540316503
Academic Unit: College of A&S; A&S - Computer Science
Language: German; English
Resource Type: Book
Record Identifier: 991031716739602976