Computational Logic: Logic Programming and Beyond - 最新文献
Pub Date : 1987-10-20
DOI: 10.1007/3-540-45628-7_3
R. Kowalski
Pub Date : 1900-01-01
DOI: 10.1007/3-540-45632-5_22
Taisuke Sato, Yoshitaka Kameya
Pub Date : 1900-01-01
DOI: 10.1007/3-540-45632-5_11
S. Costantini
查看全部