%0 Book %1 BlaesiusBuerckert1987 %C München %D 1987 %E Bläsius, Karl Hans %E Bürckert, Hans-Jürgen %I Oldenbourg %K 01624 101 book shelf ai knowledge processing logic %T Deduktionssysteme: Automatisierung des logischen Denkens %X Dieses Buch führt gut verständlich und umfassend in das Gebiet der Deduktionssysteme ein. Begriffe und Methoden sind klar beschrieben, verdeutlicht durch zahlreiche Beisoiele und graphische Darstellungen. %@ 978-3-486-20509-1

@book{BlaesiusBuerckert1987, abstract = {Dieses Buch führt gut verständlich und umfassend in das Gebiet der Deduktionssysteme ein. Begriffe und Methoden sind klar beschrieben, verdeutlicht durch zahlreiche Beisoiele und graphische Darstellungen.}, added-at = {2017-05-25T13:19:21.000+0200}, address = {M\"{u}nchen}, biburl = {https://www.bibsonomy.org/bibtex/2541df1fe8e721a0a129c84505e2c0bf0/flint63}, editor = {Bl\"{a}sius, Karl Hans and B\"{u}rckert, Hans-J\"{u}rgen}, file = {Amazon Search inside:http\://www.amazon.de/gp/reader/3486205099/:URL}, groups = {public}, interhash = {525754ba446bd9a8edefe61746dc9ead}, intrahash = {541df1fe8e721a0a129c84505e2c0bf0}, isbn = {978-3-486-20509-1}, keywords = {01624 101 book shelf ai knowledge processing logic}, publisher = {Oldenbourg}, timestamp = {2017-07-13T18:01:09.000+0200}, title = {Deduktionssysteme: Automatisierung des logischen Denkens}, username = {flint63}, year = 1987 }