Ausgabe 4/2014
Selected papers from the 2012 International Symposium on Artificial Intelligence and Mathematics
Inhalt (5 Artikel)
On quantified linear implications
Pavlos Eirinakis, Salvatore Ruggieri, K. Subramani, Piotr Wojciechowski
Pavlos Eirinakis, Salvatore Ruggieri, K. Subramani, Piotr Wojciechowski