Matches in Library of Congress for { <http://lccn.loc.gov/2008376287> ?p ?o. }
Showing items 1 to 21 of
21
with 100 items per page.
- 2008376287 contributor B11223585.
- 2008376287 created "2007.".
- 2008376287 date "2007".
- 2008376287 date "2007.".
- 2008376287 dateCopyrighted "2007.".
- 2008376287 description "Includes bibliographical references.".
- 2008376287 extent "X, 399, [1] p. :".
- 2008376287 identifier "8374311282".
- 2008376287 identifier "9788374311281".
- 2008376287 isPartOf "Studies in logic, grammar, and rhetoric, 0860-150X ; 10(23)".
- 2008376287 issued "2007".
- 2008376287 issued "2007.".
- 2008376287 language "eng".
- 2008376287 publisher "Białystok : University of Białystok,".
- 2008376287 subject "410.1/51 22".
- 2008376287 subject "Automatic theorem proving.".
- 2008376287 subject "Mathematical linguistics.".
- 2008376287 subject "Mathematics Data processing.".
- 2008376287 subject "QA76.95 .F76 2007".
- 2008376287 title "From insight to proof : festschrift in honour of Andrzej Trybulec / guest editors, Roman Matuszewski, Anna Zalewska.".
- 2008376287 type "text".