|
61 |
Extensional paramodulation for higher-order logic and its effective implementation Leo-III Steen, Alexander. - Berlin : Akademische Verlagsgesellschaft AKA GmbH, [2018]
|
|
|
62 |
From logic programming to human reasoning: how to be artificially human Dietz Saldanha, Emmanuelle-Anna. - Berlin : Akademische Verlagsgesellschaft AKA GmbH, [2018]
|
|
|
63 |
Hans Jürgen Syberberg und das Modell Nossendorf Nouwens, Petrus H.. - Aachen : Shaker Verlag, 2018, [1. Auflage]
|
|
|
64 |
Inference and learning systems for uncertain relational data Cota, Giuseppe. - Amsterdam : IOS Press, [2018]
|
|
|
65 |
Insomnia disorder and endogenous neurophysiological dynamics Colombo, Michele. - Freiburg im Breisgau, [2018]
|
|
|
66 |
Kunst macht Ausstellung Reichelt, Anna-Sophia. - München : Edition Metzel, [2018]
|
|
|
67 |
Probing water structure and transport in proton exchange membranes Ling, Xiao. - Koblenz : Verlag Dietmar Fölbach, [2018]
|
|
|
68 |
Query processing over graph-structured data on the web Acosta Deibe, Maribel. - Berlin : Akademische Verlagsgesellschaft AKA GmbH, [2018]
|
|
|
69 |
Self-organizing multiagent negotiations Berndt, Jan Ole. - Berlin : Akademische Verlagsgesellschaft AKA GmbH, [2018]
|
|
|
70 |
Vertrauen und Kommunikation bei einer Dienstleistung Woischwill, Branko. - Wiesbaden : Springer VS, [2018]
|
|