TY - GEN
AU - Jones, Neil D.
AU - Takasu, Satoru
TI - Logic, language and computation Festschrift in honor of Satoru Takasu
PB - Springer
SN - 9783540483915
KW - Logic design
KW - Artificial intelligence
KW - Logic, Symbolic and mathematical
KW - Computer science
KW - Machine theory.
KW - Computer systems.
KW - Compilers (Computer programs).
KW - Computation by Abstract Devices
KW - Mathematical Logic and Formal Languages
KW - Computer Science
KW - Mathematical Logic and Foundations
KW - Logics and Meanings of Programs
KW - Artificial Intelligence (incl. Robotics)
KW - Programming Languages, Compilers, Interpreters
KW - Aufsatzsammlung
KW - Theoretische Informatik
PY - 1994
N2 - Literaturangaben
BT - Lecture notes in computer science ; 792
CY - Berlin [u.a.]
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation