Total Books: 1 - 3 /3
Logic for Programming, Artificial Intelligence, and Reasoning (vol. # 3835)
Constitutes the refereed proceedings of the 12th International Conference on Logic for Programming, Artificial Intelligence, ...
Lire la suite
Mathematical Knowledge Management (vol. # 3863)
This volume contains the proceedings of the Fourth International Conference on Mathematical Knowledge Management MKM 2005 ...
Lire la suite
Recent Trends in Algebraic Development Techniques
This book constitutes the thoroughly refereed postproceedings of the 18th International Workshop on Algebraic Development ...
Lire la suite
Total Books: 1 - 3 /3
