Yazar
Lus Moniz Pereira
1 cilt bulundu.
Cilt sonuçları
Computational Logic CL 2000 00
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
Sayfa sayısı yok · 2000
Mathematical Logic and Formal Languages / Programming Techniques / Database management / Logic design / Logics and Meanings of Programs