Ցուցադրվում են 1 - 17 արդյունքները 17 այս փնտրման համար '"Reasoning."' Հստակեցնել արդյունքները
  1. 1
    ‌ Jevons, William Stanley, 1835-1882
    Հրապարակվել է 1890
    Խորագրեր
    Գիրք
    Պահել ցուցակում
    Պահպանված է:
    Pure logic and other minor works /
  2. 2
    ‌ Paris, J. B.
    Հրապարակվել է 1994
    Խորագրեր
    Գիրք
    Պահել ցուցակում
    Պահպանված է:
    The uncertain reasoner's companion : a mathematical perspective /
  3. 3
    ‌ Descartes, René, 1596-1650
    Հրապարակվել է 1966
    Խորագրեր “...Reasoning....”
    Գիրք
    Պահել ցուցակում
    Պահպանված է:
    Regulae ad directionem ingenii /
  4. 4
    ‌ Ramsay, Allan, 1953-
    Հրապարակվել է 1988
    Խորագրեր
    Գիրք
    Պահել ցուցակում
    Պահպանված է:
    Formal methods in artificial intelligence /
  5. 5
    ‌ Halpern, Joseph Y., 1953-
    Հրապարակվել է 2003
    Խորագրեր
    Գիրք
    Պահել ցուցակում
    Պահպանված է:
    Reasoning about uncertainty /
  6. 6
    Հրապարակվել է 1995
    Խորագրեր
    Գիրք
    Պահել ցուցակում
    Պահպանված է:
    Knowledge and belief in philosophy and artificial intelligence /
  7. 7
    Հրապարակվել է 1989
    Խորագրեր
    Գիտաժողովի նյութեր Գիրք
    Պահել ցուցակում
    Պահպանված է:
    Non-monotonic reasoning : 2nd international workshop, Grassau, FRG, June 1988 : proceedings /
  8. 8
    ‌ Güsgen, Hans Werner, 1959-
    Հրապարակվել է 1993
    Խորագրեր “...Reasoning....”
    Գիրք
    Պահել ցուցակում
    Պահպանված է:
    Spatial persistence : preliminary report /
  9. 9
    ‌ Davis, Philip J., 1923-
    Հրապարակվել է 2006
    Խորագրեր
    Table of contents only
    Գիրք
    Պահել ցուցակում
    Պահպանված է:
    Mathematics and common sense : a case of creative tension /
  10. 10
    ‌ Gabbay, Dov M., 1945-
    Հրապարակվել է 2010
    Խորագրեր “...Commonsense reasoning Automation....”
    Գիրք
    Պահել ցուցակում
    Պահպանված է:
    Revision, acceptability and context : theoretical and algorithmic aspects /
  11. 11
    ‌ Richards, Tom
    Հրապարակվել է 1989
    Խորագրեր
    Գիրք
    Պահել ցուցակում
    Պահպանված է:
    Clausal form logic : an introduction to the logic of computer reasoning /
  12. 12
    Հրապարակվել է 1993
    Խորագրեր
    Գիտաժողովի նյութեր Գիրք
    Պահել ցուցակում
    Պահպանված է:
    Symbolic and quantitative approaches to reasoning and uncertainty : European Conference ECSQARU '93, Granada, Spain, November 8-10, 1993 : proceedings /
  13. 13
    Հրապարակվել է 2005
    Խորագրեր
    Connect to electronic resource
    Էլեկտրոնային Գիտաժողովի նյութեր Գիրք
    Պահել ցուցակում
    Պահպանված է:
    Symbolic and quantitative approaches to reasoning with uncertainty 8th European Conference, ECSQARU 2005, Barcelona, Spain, July 6-8, 2005 : proceedings /
  14. 14
    Հրապարակվել է 1989
    Խորագրեր
    Գիտաժողովի նյութեր Գիրք
    Պահել ցուցակում
    Պահպանված է:
    Methodologies for intelligent systems, 4 : proceedings of the Fourth International Symposium on Methodologies for Intelligent Systems, held October 12-14, 1989, in Charlotte, North Carolina /
  15. 15
    ‌ Hammer, Eric M., 1967-
    Հրապարակվել է 1995
    Խորագրեր
    Գիրք
    Պահել ցուցակում
    Պահպանված է:
    Logic and visual information /
  16. 16
    ‌ Kowalski, Robert
    Հրապարակվել է 2011
    Խորագրեր
    Connect to electronic resource
    Էլեկտրոնային էլ․ գիրք
    Պահել ցուցակում
    Պահպանված է:
    Computational logic and human thinking how to be artificially intelligent /
  17. 17
    ‌ Beck, L. J. (Leslie John)
    Հրապարակվել է 1952
    Խորագրեր
    Գիրք
    Պահել ցուցակում
    Պահպանված է:
    The method of Descartes : a study of the Regulae.

Որոնման գործիքներ: