Kevin Watkins 1570 Bridgeview Drive · San Diego CA 92105 · [removed]removed] · http: www.cs.cmu.edu ~kw - Bridgeview - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2007-09-27 15:02:09 Logic in computer science Type theory Formal methods Automated theorem proving Logical framework Twelf Logic programming Prolog Programming language Programming language theory Theoretical computer science Software engineering		Kevin Watkins 1570 Bridgeview Drive · San Diego CA 92105 · [removed]removed] · http://www.cs.cmu.edu/~kw Add to Reading List Source URL: www.cs.cmu.edu Download Document from Source Website File Size: 36,56 KB Share Document on Facebook

	The Prolog to Mercury transition guide Version rotdThomas Conway Zoltan Somogyi Fergus Henderson DocID: 1xVTf - View Document
	The Prolog to Mercury transition guide VersionThomas Conway Zoltan Somogyi Fergus Henderson DocID: 1xUyl - View Document
	Prolog-Programm: - Fakten - Regeln - Anfragen Horn-Klauseln, bilden Wissensbasis DocID: 1vbGX - View Document
	Dept. of Social Science Informatics (SWI) Roetersstraat 15, 1018 WB Amsterdam The Netherlands http://www.swi.psy.uva.nl Programming in XPCE / Prolog DocID: 1uQRL - View Document
	Avoiding Equivariance in Alpha-Prolog Christian Urban1 and James Cheney2 1 Ludwig-Maximilians-University Munich () 2 DocID: 1uyDU - View Document