Yazar
Manfred Kerber
4 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
Towards Mechanized Mathematical Assistants
Manuel Kauers, Manfred Kerber, Robert Miner, Wolfgang Windsteiger · Springer London, Limited
Sayfa sayısı yok · 2007
Algebra, data processing / Mathematical analysis / Logic, symbolic and mathematical / Knowledge management