Catalogo · 9780387181707
Computation theory and logic
ISBN 9780387181707
Descrizione non disponibile per questo libro.
La tua libreria
Accedi per aggiungere questo libro alla tua libreria.
Lettori
Communitas attorno al libro
Letture affini
Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983 : Part 2
M. M. Richter, E. Börger, W. Oberschelp, B. Schinzel, Thomas, W.
Logic and Machines: Decision Problems and Complexity
E. Börger, G. Hasenjaeger, D. Rödding
CSL '89
Workshop on Computer Science Logic (3rd 1989 Kaiserslautern, Germany), E. Borger, H. Kleine Buning
Computability, complexity, logic
E. Börger
Zur Philosophie der mathematischen Erkenntnis
E. Börger
Trends in theoretical computer science
E. Börger
The classical decision problem
E. Börger
Specification and validation methods
E. Börger
Formal methods for industrial applications
Jean-Raymond Abrial, E. Börger
CSL '88
E. Borger, H. Kleine Buning
Csl 87
E. Borger
Verba volant · scripta manent