Libros de berechenbarkeit
5 libros en este género
Petri-Netze
Lutz Priese
Sin valoración
Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit
Hans Hermes
Sin valoración
Programs, proofs, processes
Conference on Computability in Europe (6th 2010 Ponta Delgada, Azores, Portugal)
Sin valoración
Infinity in logic and computation
ILC 2007 (2007 Cape Town, South Africa)
Sin valoración
Computability theory: an introduction
Neil D. Jones
Sin valoración