Matches in Harvard for { <http://id.lib.harvard.edu/aleph/008781583/catalog> ?p ?o. }
Showing items 1 to 20 of
20
with 100 items per page.
- catalog contributor b12309477.
- catalog contributor b12309478.
- catalog created "c1999.".
- catalog date "1999".
- catalog date "c1999.".
- catalog dateCopyrighted "c1999.".
- catalog description "Includes bibliographical references.".
- catalog extent "370 p. :".
- catalog identifier "2130501044".
- catalog isPartOf "Nouvelle encyclopédie Diderot".
- catalog issued "1999".
- catalog issued "c1999.".
- catalog language "fre".
- catalog publisher "Paris : Presses universitaires de France,".
- catalog subject "006.3 21".
- catalog subject "Artificial intelligence.".
- catalog subject "Proof theory.".
- catalog subject "Q335 .C575 1999".
- catalog title "Le concept de preuve à la lumière de l'intelligence artificielle / sous la direction de Jean Sallantin et Jean-Jacques Szczeciniarz.".
- catalog type "text".