%0 Book %1 Beckstein88 %A Beckstein, Clemens %B Informatik-Fachberichte %C Berlin %D 1988 %I Springer %K 01624 105 springer book shelf ai knowledge processing prolog logic %R 10.1007/978-3-642-74403-7 %T Zur Logik der Logik-Programmierung: Ein konstruktiver Ansatz %V 199 %X Logik-Programmierung ist auch ohne den Einsatz extra-Iogischer Operatoren moglich und sinnvoll. Dem in dieser Arbeit entworfenen Beweissystem kommt eine wichtige Rolle im Kontext eines umfassenden Problemlösesystems zu. %@ 978-3-540-50720-8

@book{Beckstein88, abstract = {Logik-Programmierung ist auch ohne den Einsatz extra-Iogischer Operatoren moglich und sinnvoll. Dem in dieser Arbeit entworfenen Beweissystem kommt eine wichtige Rolle im Kontext eines umfassenden Problemlösesystems zu.}, added-at = {2016-08-26T15:55:47.000+0200}, address = {Berlin}, author = {Beckstein, Clemens}, biburl = {https://www.bibsonomy.org/bibtex/290b1828fd231e675b248ae9ea3532ab6/flint63}, doi = {10.1007/978-3-642-74403-7}, file = {SpringerLink:1900-99/Beckstein88.pdf:PDF;Springer Product page:http\://www.springer.com/978-3-540-50720-8:URL}, groups = {public}, interhash = {0d0ddf3cca6ffbd9153b29627b86a438}, intrahash = {90b1828fd231e675b248ae9ea3532ab6}, isbn = {978-3-540-50720-8}, issn = {0343-3005}, keywords = {01624 105 springer book shelf ai knowledge processing prolog logic}, publisher = {Springer}, series = {Informatik-Fachberichte}, timestamp = {2017-07-13T18:06:47.000+0200}, title = {Zur Logik der Logik-Programmierung: Ein konstruktiver Ansatz}, username = {flint63}, volume = 199, year = 1988 }