詳細情報

刊年

2008

G/SMD

機械可読データファイル -- リモートファイル (wr)

形態

: v.: digital

シリーズ名

Lecture Notes in Computer Science ; 5202

標題言語

英語 (eng)

本文言語

英語 (eng)

著者情報

Stuckey, Peter J.

SpringerLink (Online service)

件名

Computer Science

Artificial intelligence

Computer science

Information systems

Logic design

Programming Languages, Compilers, Interpreters

Logics and Meanings of Programs

Computer Appl. in Administrative Data Processing

Programming Techniques

Artificial Intelligence (incl. Robotics)

Mathematical Logic and Formal Languages

ISBN

9783540859581 (: electronic bk)

IDENT

http://dx.doi.org/10.1007/978-3-540-85958-1