Normal view MARC view ISBD view

Handbook of Automated Reasoning editors Alan Robinson and Andrei Voronkov

Contributor(s):

Material type: Text

Text

TextLanguage: eng Publication details: Amsterdam; Cambridge [Massachusetts]; Elsevier; \The \\Mit Press; 2001Description: 2 vol. ; 25 cmISBN:

0-262-18223-8; 0-444-50813-9

Subject(s):

matematică; matematică -- aplicată în alte domenii ale cunoașterii; matematică -- cibernetică matematică; matematică calculatorie; automatizări

Genre/Form:

tratat

Contents:

\\Handbook of Automated Reasoning\ vol. 1; \\Handbook of Automated Reasoning\ vol. 2

Item type: List(s) this item appears in: Titluri carti pentru specializarea IMRTC Braila 2018 - matematica

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

No physical items for this record

\\Handbook of Automated Reasoning\ vol. 1; \\Handbook of Automated Reasoning\ vol. 2

There are no comments on this title.

to post a comment.

Biblioteca Universității "Dunărea de Jos" din Galați

Powered by Koha