%0 Book %1 series/synthesis/2012Gebser %A Gebser, Martin %A Kaminski, Roland %A Kaufmann, Benjamin %A Schaub, Torsten %B Synthesis Lectures on Artificial Intelligence and Machine Learning %D 2012 %I Morgan & Claypool Publishers %K dblp %T Answer Set Solving in Practice %@ 978-3-031-01561-8

@book{series/synthesis/2012Gebser, added-at = {2023-10-17T00:00:00.000+0200}, author = {Gebser, Martin and Kaminski, Roland and Kaufmann, Benjamin and Schaub, Torsten}, biburl = {https://www.bibsonomy.org/bibtex/275e6b229d65576a7a9955f91738fa2e2/dblp}, ee = {https://doi.org/10.1007/978-3-031-01561-8}, interhash = {88267dbde9fd866418f8d757e1ce5133}, intrahash = {75e6b229d65576a7a9955f91738fa2e2}, isbn = {978-3-031-01561-8}, keywords = {dblp}, publisher = {Morgan & Claypool Publishers}, series = {Synthesis Lectures on Artificial Intelligence and Machine Learning}, timestamp = {2024-04-09T07:44:34.000+0200}, title = {Answer Set Solving in Practice}, year = 2012 }