TY  - EBOOK
TI  - Conditional term rewriting systems: third international workshop, CTRS-92, Pont-à-Mousson, France, July 8 - 10, 1992 ; proceedings
T3  - 
T3  - 656
AU  - Rusinowitch, Michaël
editor = {Rusinowitch, Michaël},
A2  - Rusinowitch, Michaël
CY  - Berlin u.a.
PB  - Springer
PY  - 1993
PY  - 1993
LA  - English
KW  - Computer science
KW  - Logic, Symbolic and mathematical
KW  - Artificial intelligence
KW  - Software engineering.
KW  - Machine theory.
KW  - Compilers (Computer programs).
KW  - Mathematical logic.
KW  - Mathematical Logic and Formal Languages
KW  - Computer Science
KW  - Mathematical Logic and Foundations
KW  - Artificial Intelligence (incl. Robotics)
KW  - Programming Languages, Compilers, Interpreters
KW  - Konferenzschrift
KW  - Bedingtes Termersetzungssystem
KW  - (DE-627)
SN  - 9783540475491
N1  - Literaturangaben
UR  - http://www.springerlink.com/content/w2pj703818x7
UR  - http://www.springerlink.de/openurl.asp?genre=book&isbn=978-3-540-56393-8
UR  - http://dx.doi.org/10.1007/3-540-56393-8
UR  - https://doi.org/10.1007/3-540-56393-8
UR  - https://zbmath.org/?q=an:0825.00125
UR  - https://katalog.fid-bbi.de/Record/183-595126790
ER  -