Publications :: Search

Show venue

On this page you see the details of the selected venue.

Conference
Name:	Logic Programming in Action, Second International Logic Programming Summer School, LPSS '92, Zurich, Switzerland, September 7-11, 1992, Proceedings 1992
DBLP:	db/conf/lpss/lpss92.html
Bookmark:

Below you find the publications assigned to this venue.

Show item 1 to 10 of 22  

Select a publication
Show	Title	Venue	Rating	Date
	Conference paper Fabio Baj, Michael Rosner. Automatic Theorem Proving within the Portable AI Lab.	Logic Programming in Action, Second International Logic Programming Summer School, LPSS '92, Zurich, Switzerland, September 7-11, 1992, Proceedings 1992	(0)	1992
	Conference paper Christoph Beierle. Knowledge Based PPS Applications in PROTOS-L.	Logic Programming in Action, Second International Logic Programming Summer School, LPSS '92, Zurich, Switzerland, September 7-11, 1992, Proceedings 1992	(0)	1992
	Conference paper Peter T. Breuer. The Art of Computer Un-Programming: Reverse Engineering in Prolog.	Logic Programming in Action, Second International Logic Programming Summer School, LPSS '92, Zurich, Switzerland, September 7-11, 1992, Proceedings 1992	(0)	1992
	Conference paper Alan Bundy. Tutorial Notes: Reasoning about Logic Programs.	Logic Programming in Action, Second International Logic Programming Summer School, LPSS '92, Zurich, Switzerland, September 7-11, 1992, Proceedings 1992	(0)	1992
	Conference paper Carlo Chiopris. The SECReTS Banking Expert System from Phase 1 to Phase 2.	Logic Programming in Action, Second International Logic Programming Summer School, LPSS '92, Zurich, Switzerland, September 7-11, 1992, Proceedings 1992	(0)	1992
	Conference paper Deborah A. Dahl. PUNIT - Natural Language Interfaces.	Logic Programming in Action, Second International Logic Programming Summer School, LPSS '92, Zurich, Switzerland, September 7-11, 1992, Proceedings 1992	(0)	1992
	Conference paper Mireille Ducassé. Opium - An Advanced Debugging System.	Logic Programming in Action, Second International Logic Programming Summer School, LPSS '92, Zurich, Switzerland, September 7-11, 1992, Proceedings 1992	(0)	1992
	Conference paper AbdelAli Ed-Dbali, Pierre Deransart. Software Formal Specification by Logic Programming: The Example of Standard Prolog.	Logic Programming in Action, Second International Logic Programming Summer School, LPSS '92, Zurich, Switzerland, September 7-11, 1992, Proceedings 1992	(0)	1992
	Conference paper Owen V. Evans. Factory Scheduling Using Finite Domains.	Logic Programming in Action, Second International Logic Programming Summer School, LPSS '92, Zurich, Switzerland, September 7-11, 1992, Proceedings 1992	(0)	1992
	Conference paper John Fox. Logic Engineering and Clinical Dilemmas.	Logic Programming in Action, Second International Logic Programming Summer School, LPSS '92, Zurich, Switzerland, September 7-11, 1992, Proceedings 1992	(0)	1992

Show item 1 to 10 of 22  

Your query returned 22 matches in the database.