15th International Conference Lpnmr 2019 Philadelphia pa Usa June 37 2019 Proceedings

Logic Programming and Nonmonotonic Reasoning: 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7

Marcello Balduccini, "Logic Programming and Nonmonotonic Reasoning: 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7"
English | ISBN: 3030205274 | 2019 | 348 pages | EPUB, PDF | 24 MB + 14 MB
Formal Concept Analysis: 15th International Conference, ICFCA 2019, Frankfurt, Germany, June 25–28, 2019, Proceedings

Diana Cristea, "Formal Concept Analysis: 15th International Conference, ICFCA 2019, Frankfurt, Germany, June 25–28, 2019, Proceedings "
English | ISBN: 3030214613 | 2019 | 349 pages | EPUB, PDF | 23 MB + 16 MB
Intelligent Tutoring Systems: 15th International Conference, ITS 2019, Kingston, Jamaica, June 3–7, 2019, Proceedings

Andre Coy, "Intelligent Tutoring Systems: 15th International Conference, ITS 2019, Kingston, Jamaica, June 3–7, 2019, Proceedings "
English | ISBN: 3030222438 | 2019 | 246 pages | EPUB, PDF | 12 MB + 16 MB
Integrated Formal Methods: 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings

Wolfgang Ahrendt, "Integrated Formal Methods: 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings "
English | ISBN: 3030349675 | 2019 | 554 pages | EPUB, PDF | 38 MB + 30 MB
Logic Programming and Nonmonotonic Reasoning: Third International Conference, LPNMR '95 Lexington, KY, USA, June 26–28, 1995 Pr

Logic Programming and Nonmonotonic Reasoning: Third International Conference, LPNMR '95 Lexington, KY, USA, June 26–28, 1995 Proceedings By Thomas Eiter, Georg Gottlob, Nicola Leone (auth.), V. Wiktor Marek, Anil Nerode, M. Truszczyński (eds.)
1995 | 415 Pages | ISBN: 3540594876 | PDF | 7 MB
Trust and Trustworthy Computing: 4th International Conference, TRUST 2011, Pittsburgh, PA, USA, June 22-24, 2011. Proceedings

Trust and Trustworthy Computing: 4th International Conference, TRUST 2011, Pittsburgh, PA, USA, June 22-24, 2011. Proceedings By Cornelius Namiluko, Jun Ho Huh, Andrew Martin (auth.), Jonathan M. McCune, Boris Balacheff, Adrian Perrig, Ahmad-Reza Sadeghi, Angela Sasse, Yolanta Beres (eds.)
2011 | 314 Pages | ISBN: 364221598X | PDF | 6 MB
Intelligent Tutoring Systems: 10th International Conference, ITS 2010, Pittsburgh, PA, USA, June 14-18, 2010, Proceedings, Part

Intelligent Tutoring Systems: 10th International Conference, ITS 2010, Pittsburgh, PA, USA, June 14-18, 2010, Proceedings, Part II By Blair Lehman, Sidney D’Mello, Natalie Person (auth.), Vincent Aleven, Judy Kay, Jack Mostow (eds.)
2010 | 461 Pages | ISBN: 364213436X | PDF | 10 MB
Verification, Model Checking, and Abstract Interpretation: 23rd International Conference, VMCAI 2022, Philadelphia, PA,

Bernd Finkbeiner, "Verification, Model Checking, and Abstract Interpretation: 23rd International Conference, VMCAI 2022, Philadelphia, PA, "
English | ISBN: 3030945820 | 2022 | 530 pages | PDF | 18 MB
Artificial Intelligence in Education: 20th International Conference, AIED 2019, Chicago, IL, USA, June 25-29, 2019, Proc

Seiji Isotani, "Artificial Intelligence in Education: 20th International Conference, AIED 2019, Chicago, IL, USA, June 25-29, 2019, Proc"
English | ISBN: 3030232034 | 2019 | 561 pages | EPUB, PDF | 28 MB + 37 MB
Intelligent Computing Methodologies: 15th International Conference, ICIC 2019, Nanchang, China, August 3–6, 2019, Procee

De-Shuang Huang, "Intelligent Computing Methodologies: 15th International Conference, ICIC 2019, Nanchang, China, August 3–6, 2019, Procee"
English | ISBN: 3030267652 | 2019 | 812 pages | EPUB, PDF | 73 MB + 85 MB