ExLibris header image
SFX Logo
Title: Mints type deductive calculi for logic programming
Source:

Annals of Pure and Applied Logic [0168-0072] Shepherdson, J C yr:1992


Collapse list of basic services Basic
Full text
Full text available via EZB-NALI5-00465 Elsevier Archive NL
GO
Document delivery
Request document via Library/Bibliothek GO

Expand list of advanced services Advanced
A service provided by the Library of the Wissenschaftspark Albert Einstein, Potsdam, Germany.
© 2005 SFX by Ex Libris Inc.