Computational Logic CL 2000 00
de John Lloyd - undifferentiated, Veronica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Lus Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey
de John Lloyd - undifferentiated, Veronica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Lus Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey
Springer-Verlag Berlin Heidelberg · inglés · ISBN 9783540449577
