Matches in Library of Congress for { <http://lccn.loc.gov/87013148> ?p ?o. }
Showing items 1 to 20 of
20
with 100 items per page.
- 87013148 alternative "Automated reasoning.".
- 87013148 contributor B5392871.
- 87013148 created "c1988.".
- 87013148 date "1988".
- 87013148 date "c1988.".
- 87013148 dateCopyrighted "c1988.".
- 87013148 description "Bibliography: p. 273-282.".
- 87013148 extent "xiii, 319 p. ;".
- 87013148 identifier "013054552X (pbk.) :".
- 87013148 issued "1988".
- 87013148 issued "c1988.".
- 87013148 language "eng".
- 87013148 publisher "Englewood Cliffs, N.J. : Prentice-Hall,".
- 87013148 subject "006.3 19".
- 87013148 subject "Artificial intelligence.".
- 87013148 subject "Automatic theorem proving.".
- 87013148 subject "Computer programming.".
- 87013148 subject "QA76.9.A96 W67 1988".
- 87013148 title "Automated reasoning : 33 basic research problems / Larry Wos.".
- 87013148 type "text".