Computational logic /
Saved in:
Corporate Authors: | |
---|---|
Group Author: | ; ; |
Published: |
Elsevier,
|
Publisher Address: | Kidlington : |
Publication Dates: | 2014. |
Literature type: | eBook |
Language: | English |
Series: |
Handbook of the history of logic ;
9 |
Subjects: | |
Online Access: |
http://www.sciencedirect.com/science/handbooks/18745857/9 |
Carrier Form: | 1 online resource. |
ISBN: |
9780080930671 0080930670 1322477175 (ebk) 9781322477176 (ebk) |
Index Number: | QA76 |
CLC: | TP302.2 |