System description: GrAnDe 1.0

Conference proceeding

Peer reviewed

Stephan SCHULZ and Geoff SUTCLIFFE

Lecture notes in computer science, Vol.2392, pp.280-284

Automated deduction - CADE-18 (Copenhagen, 27-30 July 2002)

2002

Abstract

Applied sciences

Problem solving, game playing

Artificial intelligence

Exact sciences and technology

Computer science; control theory; systems

5 Record Views

Title: System description: GrAnDe 1.0
Creators: Stephan SCHULZ - Institut für Informatik, Technische Universität München, Germany
Geoff SUTCLIFFE - Department of Computer Science, University of Miami, United States
Publication Details: Lecture notes in computer science, Vol.2392, pp.280-284
Conference: Automated deduction - CADE-18 (Copenhagen, 27-30 July 2002)
Publisher: Springer
Academic Unit: Leadership Department; College of A&S; A&S - Computer Science
Language: English
Resource Type: Conference proceeding
Record Identifier: 991031600011602976