Libri di berechenbarkeit
5 libri in questo genere

Petri-Netze
Lutz Priese
Nessuna valutazione

Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit
Hans Hermes
Nessuna valutazione

Programs, proofs, processes
Conference on Computability in Europe (6th 2010 Ponta Delgada, Azores, Portugal)
Nessuna valutazione

Infinity in logic and computation
ILC 2007 (2007 Cape Town, South Africa)
Nessuna valutazione

Computability theory: an introduction
Neil D. Jones
Nessuna valutazione