TY - GEN
AU - Nerode, Anil
TI - Logical foundations of computer science - Tver '92 second international symposium, Tver, Russia, July 20 - 24, 1992 ; proceedings
PB - Springer
SN - 9783540472766
KW - Computer software
KW - Logic design
KW - Logic, Symbolic and mathematical
KW - Computers Congresses
KW - Electronic data processing Congresses
KW - Logic, Symbolic and mathematical Congresses
KW - Computer science
KW - Mathematical logic.
KW - Algorithms.
KW - Machine theory.
KW - Mathematical Logic and Formal Languages
KW - Computer Science
KW - Mathematical Logic and Foundations
KW - Logics and Meanings of Programs
KW - Algorithm Analysis and Problem Complexity
KW - Konferenzschrift
PY - 1992
N2 - Literaturangaben
BT - Lecture notes in computer science ; 620
CY - Berlin [u.a.]
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation