Middeldorp, Aart.
Processes, Terms and Cycles: Steps on the Road to Infinity Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday / [electronic resource] : edited by Aart Middeldorp, Vincent Oostrom, Femke Raamsdonk, Roel Vrijer. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. - digital. - Lecture Notes in Computer Science, 3838 0302-9743 ; . - Lecture Notes in Computer Science, 3838 .
9783540324256
10.1007/11601548 doi
Computer science.
Logic design.
Artificial intelligence.
Logic, Symbolic and mathematical.
Computer Science.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Artificial Intelligence (incl. Robotics).
Mathematical Logic and Foundations.
QA8.9-QA10.3
005.131
Processes, Terms and Cycles: Steps on the Road to Infinity Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday / [electronic resource] : edited by Aart Middeldorp, Vincent Oostrom, Femke Raamsdonk, Roel Vrijer. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. - digital. - Lecture Notes in Computer Science, 3838 0302-9743 ; . - Lecture Notes in Computer Science, 3838 .
9783540324256
10.1007/11601548 doi
Computer science.
Logic design.
Artificial intelligence.
Logic, Symbolic and mathematical.
Computer Science.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Artificial Intelligence (incl. Robotics).
Mathematical Logic and Foundations.
QA8.9-QA10.3
005.131