Tác giả: Yehoshua Sagiv

Ủng hộ

1 Ebooks bởi Yehoshua Sagiv

Veronica Dahl & Ulrich Furbach: Computational Logic – CL 2000
These are the proceedings of the First International Conference on Compu- tional Logic (CL 2000) which was held at Imperial College in London from 24th to 28th July, 2000. The theme of the conference …
PDF
Anh
DRM
€57.76