Livres de berechenbarkeit
5 livres dans ce genre
Petri-Netze
Lutz Priese
Pas de note
Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit
Hans Hermes
Pas de note
Programs, proofs, processes
Conference on Computability in Europe (6th 2010 Ponta Delgada, Azores, Portugal)
Pas de note
Infinity in logic and computation
ILC 2007 (2007 Cape Town, South Africa)
Pas de note
Computability theory: an introduction
Neil D. Jones
Pas de note