search for books and compare prices
logic programming congresses matches 130 work(s)
at beginning |
displaying 1 to 25 |
next 25 >
show results in order: alphabetically | oldest to newest | newest to oldest
Paperback:
9780387584317 | Springer Verlag, September 1, 1994, cover price $69.95
Paperback:
9783540617358 | Springer Verlag, September 1, 1996, cover price $109.00
Product Description: This book constitutes the refereed proceedings of the 6th International Conference on Algebraic and Logic Programming, ALP '97 and the 3rd International Workshop on Higher-Order Algebra, Logic and Term Rewriting, HOA '97, held jointly in Southampton, UK, in September 1997...read more
Paperback:
9783540634591 | Springer Verlag, September 1, 1997, cover price $99.00 | About this edition: This book constitutes the refereed proceedings of the 6th International Conference on Algebraic and Logic Programming, ALP '97 and the 3rd International Workshop on Higher-Order Algebra, Logic and Term Rewriting, HOA '97, held jointly in Southampton, UK, in September 1997.
Paperback:
9780387506678 | Springer Verlag, August 1, 1989, cover price $54.95
Paperback:
9780387531625 | Springer Verlag, January 1, 1991, cover price $67.95 | About this edition: Book by Kirchner, H.
Paperback:
9780387558738 | Springer Verlag, September 1, 1992, cover price $91.00
Paperback:
9780387197838 | Springer Verlag, December 1, 1992, cover price $79.00
Paperback:
9780387197340 | Springer Verlag, February 1, 1992, cover price $58.95
9783540197348 | Springer-Verlag New York Inc, January 8, 1992, cover price $99.00
Product Description: This volume contains selected and thoroughly revised papers plus contributions from invited speakers presented at the First International Workshop on C- straint Solving and Language Processing, held in Roskilde, Denmark, September 1â3, 2004...read more
Paperback:
9783540261650 | Springer-Verlag New York Inc, July 16, 2005, cover price $99.00 | About this edition: This volume contains selected and thoroughly revised papers plus contributions from invited speakers presented at the First International Workshop on C- straint Solving and Language Processing, held in Roskilde, Denmark, September 1â3, 2004.
Product Description: This volume presents the thoroughly revised proceedings of the IJCAI '93 Workshop on Executable Modal and Temporal Logics held in Chambery, France in August 1993.The direct execution of logical statements, through languages such as PROLOG, has proved remarkably successful within CS and AI...read more
Paperback:
9780387589763 | Springer Verlag, February 1, 1995, cover price $54.95 | About this edition: This volume presents the thoroughly revised proceedings of the IJCAI '93 Workshop on Executable Modal and Temporal Logics held in Chambery, France in August 1993.
Product Description: The papers in this volume are extended versions of presentations at the fourth International Workshop on Extensions of Logic Programming, held at the University of St Andrews, March/April 1993. Among the topics covered in the volume are: defintional reflection and completion, modules in lambda-Prolog, representation of logics as partial inductive definitions, non-procedural logic programming, knowledge representation, contradiction avoidance, disjunctive databases, strong negation, linear logic programming, proof theory and regular search spaces, finite sets and constraint logic programming, search-space pruning and universal algebra, and implementation on transputer networks...read more
Paperback:
9780387580258 | Springer Verlag, August 1, 1994, cover price $79.95 | About this edition: The papers in this volume are extended versions of presentations at the fourth International Workshop on Extensions of Logic Programming, held at the University of St Andrews, March/April 1993.
Product Description: This book constitutes the refereed proceedings of the 5th International Workshop on Extensions of Logic Programming, ELP '96, held in Leipzig, Germany in March 1996.The 18 full papers included were carefully selected by the program committee and are presented together with three invited papers...read more
Paperback:
9783540609834, titled "Extensions of Logic Programming: 5th International Workshop, Elp '96 Leipzig, Germany, March 28-30, 1996 : Proceedings" | Springer Verlag, June 1, 1996, cover price $99.00 | About this edition: This book constitutes the refereed proceedings of the 5th International Workshop on Extensions of Logic Programming, ELP '96, held in Leipzig, Germany in March 1996.
9780387609836, titled "Extensions of Logic Programming: 5th International Workshop, Elp '96, Leipzig, Germany, March 28-30, 1996 : Proceedings" | Springer Verlag, April 1, 1996, cover price $56.00 | also contains Urbanism and Transport: Building Blocks for Architects and City and Transport Planners
Product Description: This volume contains finalized versions of papers presented at an international workshop on extensions of logic programming, held at the Seminar for Natural Language Systems at the University of Tübingen in December 1989. Several recent extensions of definite Horn clause programming, especially those with a proof-theoretic background, have much in common...read more
Paperback:
9780387535906 | Springer Verlag, April 1, 1991, cover price $59.95 | About this edition: This volume contains finalized versions of papers presented at an international workshop on extensions of logic programming, held at the Seminar for Natural Language Systems at the University of Tübingen in December 1989.
Product Description: This volume contains papers presented at the second international workshop on extensions of logic programming, which was held at the Swedish Institute of Computer Science, Stockhom, January 27-29, 1991. The 12 papers describe and discuss several approaches to extensions of logic programming languages such as PROLOG, as well as connections between logic programming and functional programming, theoretical foundations of extensions, applications, and programming methodologies...read more
Paperback:
9780387554983 | Springer Verlag, June 1, 1992, cover price $77.95 | About this edition: This volume contains papers presented at the second international workshop on extensions of logic programming, which was held at the Swedish Institute of Computer Science, Stockhom, January 27-29, 1991.
Paperback:
9780387564548 | Springer Verlag, February 1, 1993, cover price $82.95
Hardcover:
9789810224370 | World Scientific Pub Co Inc, December 1, 1995, cover price $78.00 | About this edition: This volume comprises papers presented at the Workshop on Functional and Logic Programming.
Product Description: Thisvolumecontainsaselectionofthepaperspresentedatthe18thInternational Workshop on Functional and (Constraint) Logic Programming (WFLP 2009), held on June 28, 2009 in Bras' ?lia, Brazil. Previous WFLP meetings were held in Siena (2008), Paris (2007), Madrid (2006), Tallinn (2005), Aachen (2004), Valencia (2003),Grado(2002),Kiel(2001),Benicassim(2000),Grenoble(1999), Bad Honnef (1998), Schwarzenberg (1997, 1995, and 1994), Marburg (1996), Rattenberg (1993), and Karlsruhe (1992)...read more
Paperback:
9783642119989 | Springer-Verlag New York Inc, May 21, 2010, cover price $99.00 | About this edition: Thisvolumecontainsaselectionofthepaperspresentedatthe18thInternational Workshop on Functional and (Constraint) Logic Programming (WFLP 2009), held on June 28, 2009 in Bras' ?
Product Description: This volume contains the papers presented at the 4th Fuji International S- posium on Functional and Logic Programming (FLOPSâ99) held in Tsukuba, Japan, November 11â13, 1999, and hosted by the Electrotechnical Laboratory (ETL)...read more (view table of contents, read Amazon.com's description)
Paperback:
9783540666776 | Springer Verlag, September 1, 1999, cover price $109.00 | About this edition: This volume contains the papers presented at the 4th Fuji International S- posium on Functional and Logic Programming (FLOPSâ99) held in Tsukuba, Japan, November 11â13, 1999, and hosted by the Electrotechnical Laboratory (ETL).
Paperback:
9783540417392 | Springer-Verlag New York Inc, March 1, 2001, cover price $109.00
Product Description: This volume contains the proceedings of the Sixth Fuji International Sym- sium on Functional and Logic Programming (FLOPS 2002), held in Aizu, Japan, September 15-17, 2002, hosted by the University of Aizu, and colocated with the First Asian Symposium on Partial Evaluation Semantics-Based Program Manipulation (ASIA-PEPM 2002), which was held on September 12-14...read more
Paperback:
9783540442332 | Springer Verlag, September 1, 2002, cover price $99.00 | About this edition: This volume contains the proceedings of the Sixth Fuji International Sym- sium on Functional and Logic Programming (FLOPS 2002), held in Aizu, Japan, September 15-17, 2002, hosted by the University of Aizu, and colocated with the First Asian Symposium on Partial Evaluation Semantics-Based Program Manipulation (ASIA-PEPM 2002), which was held on September 12-14.
Product Description: This volume contains the proceedings of the 7th International Symposium on Functional and Logic Programming (FLOPS 2004), held in Nara, Japan, April 7-9, 2004 at the New Public Hall, Nara. FLOPS is a forum for research on all issues concerning functional progr- mingandlogicprogramming...read more
Paperback:
9783540214021 | Springer-Verlag New York Inc, June 30, 2004, cover price $99.00 | About this edition: This volume contains the proceedings of the 7th International Symposium on Functional and Logic Programming (FLOPS 2004), held in Nara, Japan, April 7-9, 2004 at the New Public Hall, Nara.
Product Description: Thisvolumecontainsoneinvitedand?fteensubmittedpaperspresentedatthe Tenth International Conference on Inductive Logic Programming (ILP2000). The?fteenacceptedpaperswereselectedbytheprogramcommitteefromthe 37paperssubmittedtotheconference...read more (view table of contents, read Amazon.com's description)
Paperback:
9783540677956 | Springer Verlag, September 1, 2000, cover price $99.00 | About this edition: Thisvolumecontainsoneinvitedand?
(view table of contents)
Paperback:
9783540425380 | Springer Verlag, October 1, 2001, cover price $99.00
Paperback:
9783540005674 | Springer Verlag, April 1, 2003, cover price $109.00
Product Description: The13thInternationalConferenceonInductive LogicProgramming(ILP 2003), organizedbytheDepartmentofInformaticsattheUniversityofSzeged,washeld between September 29 and October 1, 2003 in Szeged, Hungary. ILP 2003 was co-located with the Kalm´ ar Workshop on Logic and Computer Science devoted to the workofL´ aszl´oKalm´ arandto recentresultsinlogicandcomputerscience...read more
Paperback:
9783540201441 | Springer-Verlag New York Inc, December 1, 2003, cover price $109.00 | About this edition: The13thInternationalConferenceonInductive LogicProgramming(ILP 2003), organizedbytheDepartmentofInformaticsattheUniversityofSzeged,washeld between September 29 and October 1, 2003 in Szeged, Hungary.
at beginning |
displaying 1 to 25 |
next 25 >