Yazar
Narciso Marti Oliet
7 cilt bulundu.
Narciso Martí-Oliet · Imprint: Springer
293 sayfa · 2013
Mathematical Logic and Formal Languages / Symbolic and mathematical Logic / Information theory / Logic design / Logics and Meanings of Programs
Narciso Martí Oliet, Yolanda Ortega Mallén, Alberto Verdejo López · Ibergarceta Publicaciones S.L.
602 sayfa · 2013
Kategori yok
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
Christiano Braga, Narciso Martí-Oliet · Springer International Publishing AG
179 sayfa · 2015
Computer software, development
Narciso Martí-Oliet, Peter Csaba Ölveczky, Carolyn Talcott · Springer International Publishing AG
Sayfa sayısı yok · 2015
Logic, symbolic and mathematical / Computer programming