Matches in Library of Congress for { <http://lccn.loc.gov/88199988> ?p ?o. }
Showing items 1 to 23 of
23
with 100 items per page.
- 88199988 contributor B5774382.
- 88199988 contributor B5774383.
- 88199988 contributor B5774384.
- 88199988 created "1988.".
- 88199988 date "1988".
- 88199988 date "1988.".
- 88199988 dateCopyrighted "1988.".
- 88199988 description "Bibliography: p. 165-175.".
- 88199988 description "Games in logic / Johan van Benthem -- Games and representation / Jan van Eijck -- On how to convince a hangman / A.J.M. van Hoof -- Conditionals in DR theory / Hans Kamp -- Logic-based open systems / Robert Kowalski -- Dialogue sequents and quick proofs of completeness / Eric C.W. Krabbe -- Argumentation theory and knowledge representation / Drs. P.A. Smit -- Generic generalisations, discourse representation structures, and knowledge representation / Gerhard Heyer.".
- 88199988 extent "175 p. :".
- 88199988 identifier "3484319194".
- 88199988 isPartOf "Sprach und Information, 0722-298X ; Bd. 19".
- 88199988 issued "1988".
- 88199988 issued "1988.".
- 88199988 language "eng".
- 88199988 publisher "Tübingen : M. Niemeyer Verlag,".
- 88199988 subject "B105.R4 C65 1985".
- 88199988 subject "Logic, Symbolic and mathematical Congresses.".
- 88199988 subject "Representation (Philosophy) Congresses.".
- 88199988 subject "Semantics (Philosophy) Congresses.".
- 88199988 tableOfContents "Games in logic / Johan van Benthem -- Games and representation / Jan van Eijck -- On how to convince a hangman / A.J.M. van Hoof -- Conditionals in DR theory / Hans Kamp -- Logic-based open systems / Robert Kowalski -- Dialogue sequents and quick proofs of completeness / Eric C.W. Krabbe -- Argumentation theory and knowledge representation / Drs. P.A. Smit -- Generic generalisations, discourse representation structures, and knowledge representation / Gerhard Heyer.".
- 88199988 title "Representation and reasoning : proceedings of the Stuttgart Conference Workshop on Discourse Representation, Dialogue Tableaux, and Logic Programming / Jakob Ph. Hoepelman (Hg.).".
- 88199988 type "text".