Computational Logic: Proceedings of the NATO Advanced Study Institute on Computa
165,91 €
Topics covered include: proof theory and specification of computation (J.-Y. This book provides an excellent introduction to the interplay of mathematical logic and computer science. Computational Logic. ).
Jetzt bei Ebay:
