Kommentar: Fields of logic and computation : essays dedicated to Yuri Gurevich on the occasion of his 70th birthday / Andreas Blass, Nachum Dershowitz, Wolfgang Reisig (eds.).

Summary goes here

Saved in:

Bibliografiske detaljer
Format:	Bog
Sprog:	engelsk
Fag:	Computer science Information theory. Formal methods (Computer science) Mathematical Computing Information Theory Computing Methodologies Informatique Théorie de l'information. Méthodes formelles (Informatique) Informatique. Information theory Theoretische Informatik Mathematische Logik Berechenbarkeit Komplexitätstheorie Automatentheorie Softwarespezifikation Programmverifikation Abstrakte Zustandsmaschine Formale Methode Congress proceedings (reports) Festschriften Conference papers and proceedings Conference papers and proceedings. Festschriften. Actes de congrès.
Tags:	Tilføj Tag Ingen Tags, Vær først til at tagge denne postø!

Vær først til at give en kommentarø!