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 |