Logic for computer science : foundations of automatic theorem proving
| Year of publication: |
1986
|
|---|---|
| Authors: | Gallier, Jean H. |
| Publisher: |
New York [u.a.] : Harper & Row |
| Subject: | Automatisches Beweisverfahren |
| Extent: | XV, 511 S. : graph. Darst. |
|---|---|
| Series: | Harper ¬& [and] Row computer science and technology series. - New York [u.a.] : Harper & Row. - Vol. 5 |
| Type of publication: | Book / Working Paper |
| ISBN: | 0-06-042225-4 |
| Source: |
Persistent link: https://www.econbiz.de/10004037654