Search ResultsElektronik Kaynaklar
Arama Sonuçlarını Sınırlandır
Yazar
ProQuest (Firm)
(582)
SpringerLink (Online service)
(81)
Gabbay, Dov M., 1945-
(19)
Woods, John (John Hayden)
(11)
Mano, M. Morris
(9)
Materyal Türü
Dil
Yayın Yılı
-
Konu
Electronic books.
(1279)
Logic.
(188)
Logic, Symbolic and mathematical.
(144)
Engineering.
(69)
Mantık.
(62)
Kütüphane
Lokasyon
Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
1704 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULTTR
Yazdır
Liste seç
Bunu varsayılan liste yap.
Öğeler başarıyla eklendi
    Öğeler eklenirken hata oldu. Lütfen tekrar deneyiniz.
      Theories of computational complexity için kapak resmi
      1645. 
      Reasoning about actions and plans : proceedings of the 1986 workshop : June 30-July 2, 1986, Timberline, Oregon için kapak resmi
      1646. 
      Reasoning about actions and plans : proceedings of the 1986 workshop : June 30-July 2, 1986, Timberline, Oregon
      by 
      Georgeff, Michael P., 1946-
      ScienceDirect https://www.sciencedirect.com/science/book/9780934613309
      Format: 
      Alıntı: 
      SITUATIOAL LOGIC; 3. PLAN THEORY; 4. THE PLAN -- THEORY DEDUCTIVE SYSTEM; 5. FORMATION OF CONDITIONALS; 6
      Subjective equilibrium theory of the farm household için kapak resmi
      1647. 
      Subjective equilibrium theory of the farm household
      by 
      Nakajima, Chihiro, 1919-
      ScienceDirect http://www.sciencedirect.com/science/book/9780444426468
      Format: 
      Alıntı: 
      exposition is clear and logic with each step in the argument explained in detail using both rigorous
      Word order universals için kapak resmi
      1648. 
      Word order universals
      by 
      Hawkins, John A.
      ScienceDirect http://www.sciencedirect.com/science/book/9780123333704
      Format: 
      Alıntı: 
      Deductive Inference (DI); 7.4 The Reconstruction of Doubling Innovations (RDI); 7.5 The Logic of Competing
      Foundations of decision support systems için kapak resmi
      1649. 
      Foundations of decision support systems
      by 
      Bonczek, R. H.
      ScienceDirect http://www.sciencedirect.com/science/book/9780121130503
      Format: 
      Alıntı: 
      ONFORMAL LOGIC; 11.00 INTRODUCTORY REMARKS; 11.10 CONCEPTUAL FRAMEWORK; 11.20 OPERATIONAL CONSTRUCTS; 11.30
      Radical protest and social structure : the Southern Farmers' Alliance and cotton tenancy, 1880-1890 için kapak resmi
      1650. 
      Radical protest and social structure : the Southern Farmers' Alliance and cotton tenancy, 1880-1890
      by 
      Schwartz, Michael, 1942-
      ScienceDirect https://www.sciencedirect.com/science/book/9780126328509
      Format: 
      Alıntı: 
      for the Alliance Exchange; The Jute Boycott; The Entry into Politics; Chapter 17. The Logic of the
      Computer analysis of cardiac arrhythmias için kapak resmi
      1651. 
      Computer analysis of cardiac arrhythmias
      by 
      Taylor, Thomas Philip Muir, author.
      http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10868036
      Format: 
      Alıntı: 
      not all complex and compound arrhythmias could be accommodated in the logic, the rhythm statements of
      The process of learning mathematics için kapak resmi
      1652. 
      The process of learning mathematics
      by 
      Chapman, L. R.
      ScienceDirect https://www.sciencedirect.com/science/book/9780080166230
      Format: 
      Alıntı: 
      ranging from the nature of mathematics to the role of intuition and logic in mathematics; the thought
      Advances in computers. Volume 12 için kapak resmi
      1653. 
      Advances in computers. Volume 12
      by 
      Rubinoff, Morris.
      ScienceDirect https://www.sciencedirect.com/science/book/9780120121120
      ScienceDirect https://www.sciencedirect.com/science/bookseries/00652458/12
      ScienceDirect http://www.sciencedirect.com/science/book/9780120121120
      ScienceDirect http://www.sciencedirect.com/science/bookseries/00652458/12
      Format: 
      Alıntı: 
      5. Linear Logic and the Evaluation of Performance: Logic and Rationale6. Feature Selection: Logic
      Life-span developmental psychology; research and theory için kapak resmi
      1654. 
      Life-span developmental psychology; research and theory
      by 
      Goulet, L. R., 1939- editor.
      ScienceDirect http://www.sciencedirect.com/science/book/9780122938504
      Format: 
      Alıntı: 
      Internal Logic of a Theory of the Effects of Age on Creative Thinking; VI. A Difficult Exercise in Theory
      Rational descriptions, decisions, and designs. için kapak resmi
      1655. 
      Rational descriptions, decisions, and designs.
      by 
      Tribus, Myron.
      ScienceDirect https://www.sciencedirect.com/science/book/9780080063935
      Format: 
      Alıntı: 
      rationality, as opposed to uncertainty, in design decision making. Inductive logic in computers is explained
      Failure-tolerant computer design için kapak resmi
      1656. 
      Failure-tolerant computer design
      by 
      Pierce, William H.
      ScienceDirect https://www.sciencedirect.com/science/book/9781483231792
      Format: 
      Alıntı: 
      LOGIC; B. RESTORING ORGANS; C. INTERWOVEN LOGIC WITH SINGLE-LAYERERROR CORRECTION; D. INTERWOVEN LOGIC
      Eylem Seç