IMSc Library catalog › Details for: From Logic Design to Logic Programming

Normal view MARC view ISBD view

From Logic Design to Logic Programming Theorem Proving Techniques and P-Functions

TextSeries: Lecture notes in computer science ; 00271Publication details: Berlin ; Springer Verlag ; 1987Description: 125ISBN: 3540182179Subject(s): Logic Design Logic Programming

Item type:

BOOKS

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Current library	Home library	Call number	Materials specified	Status	Date due	Barcode
IMSc Library	IMSc Library	681 LNCS (Browse shelf (Opens below))		Available		34776

Previous								Next
Previous	681 LNCS ANNA - A Language for Annotating Ada Programs	681 LNCS Rewriting Techniques and Applications	681 LNCS WOPPLOT 86 - Parallel Processing: Logic, Organization, and Technology	681 LNCS From Logic Design to Logic Programming	681 LNCS Future Parallel Computers	681 LNCS Connotational Theory of Program Structure	681 LNCS Computation Theory and Logic	Next

There are no comments on this title.

to post a comment.