Pascal and Francis Bibliographic Databases

Help

Search results

Your search

id.\*:("3-540-63104-6")

Results 1 to 1 of 1

  • Page / 1
Export

Selection :

  • and

Automated deduction - CADE-14 (Townsville, July 13-17, 1997)McCune, William.Lecture notes in computer science. 1997, issn 0302-9743, isbn 3-540-63104-6, XIV, 462 p, isbn 3-540-63104-6Conference Proceedings

  • Page / 1