000 01161nam a22003377a 4500
003 AR_CdUFM
005 20160908121731.0
008 120229s1992 gw||||| |||| 00| 0 eng d
020 _a3540551247
040 _aAR_CdUFM
111 2 _aInternational Workshop on Word Equations and Related Topics
_n(1º :
_d1990 :
_cTübingen, Germany)
245 1 0 _aWord equations and related topics /
_ced. Klaus Ulrich Schulz.
260 _aBerlin :
_bSpringer,
_c1992.
300 _a256 p. :
_bil. ;
_c24 cm.
490 0 _aLecture notes in computer science ;
_vv. 572
490 0 _aLNCS ;
_vv. 572
650 4 _aLógica matemática-Computación.
650 4 _aMathematical logic-Computation.
650 4 _aGramáticas y otros sistemas de reescritura.
650 4 _aGrammars and other rewriting systems.
650 4 _aLenguajes formales.
650 4 _aFormal languages.
650 4 _aEstructura de datos.
650 4 _aData structures.
650 4 _aDeducción y prueba de teoremas.
650 4 _aDeduction and theorem proving.
700 1 _915497
_aSchulz, Klaus Ulrich,
_eed.,
_d1957-
942 _cLIBRO
_2
945 _aAB
945 _aMCR
_d2012-02-29
999 _c206
_d206