Computational Logic
Proceedings of the NATO Advanced Study Institute on Computational Logic, held in Marktoberdorf, Germany, July 29 August 10, 1997
Autor:
Ulrich Berger, Helmut Schwichtenberg
Dostupnost:
Skladem u dodavatele
Odesíláme za 10-13 dnů
3 426
Kč
Recent developments in computer science clearly show the need for a better theoretical foundation fo...
