Yazar
Steven Eker
2 cilt bulundu.
Cilt sonuçları
All About Maude - A High-Performance Logical Framework
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn Talcott · Springer
800 sayfa · 2007
Artificial intelligence / Computer science / Software engineering / Human information processing / Logic