Languages
Blass, Andreas.
Overview
| Works: | 2 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Fields of logic and computation IIIessays dedicated to Yuri Gurevich on the the occasion of his 80th birthday /
by:
Blass, Andreas.; SpringerLink (Online service)
(Electronic resources)
Fields of logic and computationessays dedicated to Yuri Gurevich on the occasion of his 70th birthday /
by:
Blass, Andreas.; Dershowitz, Nachum.; Reisig, Wolfgang.; SpringerLink (Online service)
(Electronic resources)
Subjects
Software Engineering.
Mathematical Logic and Formal Languages.
Computer logic.
Logics and Meanings of Programs.
Logic in AI.
Algorithm Analysis and Problem Complexity.
Programming Techniques.
Data Structures.
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Software engineering.
Special Purpose and Application-Based Systems.
Computer science
Computer Science.
Computer Communication Networks.
Information theory.