Liknande böcker

Logic-Based Program Synthesis and Transformation : 21st International Sy...
Bok av Germán. Vidal
Rewriting Techniques and Applications : 3rd International Conference, RT...
Bok av Nachum Dershowitz
Frontiers of Combining Systems
Bok av Boris. Konev
Logic Programming and Nonmonotonic Reasoning : 11th International Confer...
Bok av James P. Delgrande
Relational and Algebraic Methods in Computer Science : 12th Internationa...
Bok av Harrie. Swart
Logic Program Synthesis and Transformation : 5th International Workshop,...
Bok av Maurizio Proietti
Computational Logic in Multi-Agent Systems : 9th International Workshop,...
Bok av Michael. Fisher
Correct Reasoning : Essays on Logic-Based AI in Honour of Vladimir Lifsc...
Bok av Esra. Erdem

Mathematical Methods in Program Development

Bok av Manfred; Schieder Broy