@book {TN_libero_mab2,
author = { Schaub, Torsten },
title = { The automation of reasoning with incomplete information from semantic foundations to efficient computation },
publisher = {Springer},
isbn = {3540645152},
keywords = { Default-Logik },
year = {1998},
abstract = {Literaturverz. S. 149 - 159},
booktitle = {Lecture notes in computer science ; 1409 ; Lecture notes in artificial intelligence},
address = { Berlin },
url = { http://slubdd.de/katalog?TN_libero_mab2 }
}
Download citation