Generating Plans from ProofsPublisher: Springer Nature Year: 01/06/2022 ISBN: 9783031018565 Publication form: eBook: Fixed Page eTextbook (PDF)
|
383.87 PLN
Product available online
Delivery on-line
Add to bookshelf
|
Web Reasoning and Rule SystemsPublisher: Springer Nature Year: 21/07/2015 ISBN: 9783319220024 Publication form: eBook: Reflowable eTextbook (ePub)
|
274.18 PLN
Product available online
Delivery on-line
Add to bookshelf
|
Logic, Language, and ComputationPublisher: Springer Nature Year: 04/09/2007 Edition: First ISBN: 9783540751441 Publication form: eBook: Fixed Page eTextbook (PDF)
|
488.13 PLN
Product available online
Delivery on-line
Add to bookshelf
|
Logic, Language, and Computation: 6th International Tbilisi Symposium on Logic, Language, and Computation. Batumi, Georgia, September 12-16, 2005, Revised Selected PapersPublisher: Springer, Berlin ISBN: 9783540751434 Publication form: paperback
|
Ask about the product
|
Web Reasoning and Rule Systems: 9th International Conference, RR 2015, Berlin, Germany, August 4-5, 2015, Proceedings.Publisher: Springer, Berlin ISBN: 9783319220017 Publication form: paperback
|
Ask about the product
|
Generating Plans from ProofsPublisher: Springer, Berlin ISBN: 9783031007286 Publication form: paperback
|
Ask about the product
|