Siegler, Simon.
Verification, Induction, Termination Analysis Festschrift for Christoph Walther on the Occasion of His 60th Birthday / [electronic resource] : edited by Simon Siegler, Nathan Wasser. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. - digital. - Lecture Notes in Computer Science, 6463 0302-9743 ; . - Lecture Notes in Computer Science, 6463 .
9783642171727
10.1007/978-3-642-17172-7 doi
Computer science.
Computer Communication Networks.
Software engineering.
Logic design.
Information systems.
Artificial intelligence.
Computer Science.
Software Engineering.
Computer Communication Networks.
Logics and Meanings of Programs.
Artificial Intelligence (incl. Robotics).
Mathematical Logic and Formal Languages.
Information Systems Applications (incl.Internet).
QA76.758
005.1
Verification, Induction, Termination Analysis Festschrift for Christoph Walther on the Occasion of His 60th Birthday / [electronic resource] : edited by Simon Siegler, Nathan Wasser. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. - digital. - Lecture Notes in Computer Science, 6463 0302-9743 ; . - Lecture Notes in Computer Science, 6463 .
9783642171727
10.1007/978-3-642-17172-7 doi
Computer science.
Computer Communication Networks.
Software engineering.
Logic design.
Information systems.
Artificial intelligence.
Computer Science.
Software Engineering.
Computer Communication Networks.
Logics and Meanings of Programs.
Artificial Intelligence (incl. Robotics).
Mathematical Logic and Formal Languages.
Information Systems Applications (incl.Internet).
QA76.758
005.1