de.mpg.escidoc.pubman.appbase.FacesBean
English
 
Help Guide Privacy Policy Disclaimer Contact us
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT

Released

Book Chapter

Termersetzungssysteme

MPS-Authors
http://pubman.mpdl.mpg.de/cone/persons/resource/persons45132

Nonnengart,  Andreas
Programming Logics, MPI for Informatics, Max Planck Society;

Locator
There are no locators available
Fulltext (public)
There are no public fulltexts available
Supplementary Material (public)
There is no public supplementary material available
Citation

Eisinger, N., Nonnengart, A., & Präcklein, A. (1992). Termersetzungssysteme. In K. Bläsius, & H.-J. Bürckert (Eds.), Deduktionssysteme -- Automatisierung des logischen Denkens (pp. 126-149). München, Germany: Oldenbourg.


Cite as: http://hdl.handle.net/11858/00-001M-0000-0014-AE1F-F
Abstract
There is no abstract available