Logic Programming was founded 25 years ago. This exciting new text reveals both the evolution of this programming paradigm since its inception and the impressively broad scope of current research in Logic Programming. The contributions to the book deal with both theoretical and practical issues. They address such diverse topics as: computational molecular biology, machine learning, mobile computing, multi-agent systems, planning, numerical computing and dynamical systems, database systems, an alternative to the "formulas as types" approach, program semantics and analysis, and natural language processing. The contributors are all leading world experts in Logic Programming and their contributions were all invited and refereed.
Band 10037
Kartonierter Einband (Kt) | 2016
Band 10483
Kartonierter Einband (Kt) | 2017
Band 11013
Kartonierter Einband (Kt) | 2018
Band 2056
Kartonierter Einband (Kt) | 2001
Band 2101
Kartonierter Einband (Kt) | 2001
Band 2112
Kartonierter Einband (Kt) | 2001
Band 2174
Kartonierter Einband (Kt) | 2001
Band 2256
Kartonierter Einband (Kt) | 2001
Band 2313
Kartonierter Einband (Kt) | 2002
Band 2358
Kartonierter Einband (Kt) | 2002
Band 2417
Kartonierter Einband (Kt) | 2002
Band 2504
Kartonierter Einband (Kt) | 2002
Band 2507
Kartonierter Einband (Kt) | 2002
Band 2557
Kartonierter Einband (Kt) | 2002
Band 2663
Kartonierter Einband (Kt) | 2003
Band 2671
Kartonierter Einband (Kt) | 2003
Band 2718
Kartonierter Einband (Kt) | 2003
Band 2821
Kartonierter Einband (Kt) | 2003
Band 2829
Kartonierter Einband (Kt) | 2003
Band 2902
Kartonierter Einband (Kt) | 2003
Band 3040
Kartonierter Einband (Kt) | 2004
Band 3060
Kartonierter Einband (Kt) | 2004
Band 3171
Kartonierter Einband (Kt) | 2004
Band 3238
Kartonierter Einband (Kt) | 2004
Band 3501
Kartonierter Einband (Kt) | 2005
Band 3528
Kartonierter Einband (Kt) | 2005
Band 3581
Kartonierter Einband (Kt) | 2005
Band 3808
Kartonierter Einband (Kt) | 2005
Band 4509
Kartonierter Einband (Kt) | 2007
Band 4830
Kartonierter Einband (Kt) | 2007
Band 4874
Kartonierter Einband (Kt) | 2007
Band 5816
Kartonierter Einband (Kt) | 2009
Band 7802
Kartonierter Einband (Kt) | 2013
Band 8556
Kartonierter Einband (Kt) | 2014
Band 9329
Kartonierter Einband (Kt) | 2015
Band 9414
Kartonierter Einband (Kt) | 2015
Band 9810
Kartonierter Einband (Kt) | 2016
Band 9868
Kartonierter Einband (Kt) | 2016