Search ResultsElektronik Kaynaklar
Arama Sonuçlarını Sınırlandır
Yazar
American Association for Artificial Intelligence.
(2)
ACM Digital Library.
(1)
Arai, Tatsuo.
(1)
Arruda, A. I. (Ayda Ignez)
(1)
Association for Symbolic Logic.
(1)
Materyal Türü
Dil
Yayın Yılı
-
Konu
Electronic books.
(17)
Logic, Symbolic and mathematical -- Congresses.
(7)
Logic, Symbolic and mathematical.
(7)
Artificial intelligence -- Congresses.
(5)
Artificial intelligence.
(4)
Kütüphane
Lokasyon
Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
17 sonuç bulundu Arama sonuçlarına abone ol
00000000000000000DEFAULTTR
Yazdır
Liste seç
Bunu varsayılan liste yap.
Öğeler başarıyla eklendi
    Öğeler eklenirken hata oldu. Lütfen tekrar deneyiniz.
      Truth, syntax and modality : proceedings of the Temple University Conference on Alternative Semantics için kapak resmi
      1. 
      Truth, syntax and modality : proceedings of the Temple University Conference on Alternative Semantics
      by 
      Conference on Alternative Semantics (1970 : Temple University)
      ScienceDirect http://www.sciencedirect.com/science/book/9780720422696
      ScienceDirect http://www.sciencedirect.com/science/bookseries/0049237X/68
      Format: 
      Alıntı: 
      Semantics / Conference on Alternative Semantics (1970 : Temple University)
      Interoperable database systems (DS-5) : proceedings of theIFIP WG2.6 Database Semantics Conference on Interoperable Database Systems (DS-5), Lorne, Victoria, Australia, 16-20 November, 1992 için kapak resmi
      2. 
      Interoperable database systems (DS-5) : proceedings of theIFIP WG2.6 Database Semantics Conference on Interoperable Database Systems (DS-5), Lorne, Victoria, Australia, 16-20 November, 1992
      by 
      IFIP WG2.6 Database Semantics Conference on Interoperable Database Systems (DS-5) (1992 : Lorne, Vic.)
      ScienceDirect http://www.sciencedirect.com/science/book/9780444898791
      Format: 
      Alıntı: 
      Interoperable database systems (DS-5) : proceedings of theIFIP WG2.6 Database Semantics Conference
      Foundations of genetic algorithms 6 için kapak resmi
      3. 
      Foundations of genetic algorithms 6
      by 
      Martin, W. N. (Worthy N.)
      ScienceDirect http://www.sciencedirect.com/science/book/9781558607347
      ScienceDirect https://www.sciencedirect.com/science/book/9781558607347
      Format: 
      Alıntı: 
      COMPUTERS -- Intelligence (AI) & Semantics.
      Modern information processing : from theory to applications için kapak resmi
      4. 
      Modern information processing : from theory to applications
      by 
      International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (2004 : Perugia, Italy)
      ScienceDirect http://www.sciencedirect.com/science/book/9780444520753
      ScienceDirect https://www.sciencedirect.com/science/book/9780444520753
      Format: 
      Alıntı: 
      COMPUTERS -- Intelligence (AI) & Semantics.
      Systems and human science, for safety, security, and dependability : seleced papers of the 1st International Symposium SSR2003, Osaka, Japan, November 2003 için kapak resmi
      5. 
      Systems and human science, for safety, security, and dependability : seleced papers of the 1st International Symposium SSR2003, Osaka, Japan, November 2003
      by 
      International Symposium on Systems and Human Science (1st : 2003 : Osaka University)
      ScienceDirect http://www.sciencedirect.com/science/book/9780444518132
      Format: 
      Alıntı: 
      COMPUTERS -- Intelligence (AI) & Semantics.
      Higher order logic theorem proving and its applications : proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications--HOL '92 için kapak resmi
      6. 
      Higher order logic theorem proving and its applications : proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications--HOL '92
      by 
      IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications (1992 : Leuven, Belgium)
      ScienceDirect http://www.sciencedirect.com/science/book/9780444898807
      Format: 
      Alıntı: 
      Description Language Semantics; Hardware Verification Methodologies; Simulation in Higher Order Logic
      Logic Colloquium '87 : proceedings of the Colloquium held in Granada, Spain July 20-25, 1987 için kapak resmi
      7. 
      Knowledge and language için kapak resmi
      8. 
      Knowledge and language
      by 
      Kurcz, Ida.
      ScienceDirect http://www.sciencedirect.com/science/book/9780444700667
      ScienceDirect http://www.sciencedirect.com/science/bookseries/01664115/39
      ScienceDirect https://www.sciencedirect.com/science/publication?issn=01664115&volume=39
      Format: 
      Alıntı: 
      1 SEMANTICS AND CONCEPTS; Chapter 1 On Naming Things: Remarks on the Relation between Logic and
      Topics in the theory of computation : selected papers of the International Conference on "Foundations of Computation Theory", FCT '83, Borgholm, Sweden, August 21-27, 1983 için kapak resmi
      9. 
      Topics in the theory of computation : selected papers of the International Conference on "Foundations of Computation Theory", FCT '83, Borgholm, Sweden, August 21-27, 1983
      by 
      International FCT-Conference (1983 : Borgholm, Sweden)
      ScienceDirect http://www.sciencedirect.com/science/book/9780444876478
      ScienceDirect http://www.sciencedirect.com/science/publication?issn=03040208&volume=102
      Format: 
      Alıntı: 
      . Abstract Calculi and Denotational Semantics; 3. Theory of Machines, Computations and Languages; 4
      Mathematical logic in Latin America : proceedings of the IV Latin American Symposium on Mathematical Logic held in Santiago, December 1978 için kapak resmi
      10. 
      Mathematical logic in Latin America : proceedings of the IV Latin American Symposium on Mathematical Logic held in Santiago, December 1978
      by 
      Latin-American Symposium on Mathematical Logic (4th : 1978 : Santiago de Chile)
      ScienceDirect http://www.sciencedirect.com/science/book/9780444854025
      Format: 
      Alıntı: 
      Chapter 16 Problems and solutions in semantics of quantified relevant logics IChapter 17 A
      Logic Colloquium 76 : proceedings of a conference held in Oxford in July 1976 için kapak resmi
      11. 
      Logic Colloquium 76 : proceedings of a conference held in Oxford in July 1976
      by 
      Logic Colloquium (1976 : Oxford)
      ScienceDirect http://www.sciencedirect.com/science/book/9780720406917
      Format: 
      Alıntı: 
      The simple theory of types; Chapter 8 Set-theoretic semantics
      Proceedings of the Thirtieth International Conference on Very Large Data Bases : Toronto, Canada, August 31-September 3, 2004 için kapak resmi
      12. 
      Proceedings of the Thirtieth International Conference on Very Large Data Bases : Toronto, Canada, August 31-September 3, 2004
      by 
      International Conference on Very Large Data Bases (30th : 2004 : Toronto, Ont.)
      ScienceDirect https://www.sciencedirect.com/science/book/9780120884698
      Format: 
      Alıntı: 
      , Semantics and Statistics; PART II: TEN YEAR BEST PAPER AWARD; Chapter 3. Whither Data Mining?; PART III
      Theoretical aspects of reasoning about knowledge : proceedings of the Fifth Conference (TARK 1994) için kapak resmi
      13. 
      Theoretical aspects of reasoning about knowledge : proceedings of the Fifth Conference (TARK 1994)
      by 
      Conference on Theoretical Aspects of Reasoning about Knowledge (5th : 1994 : Pacific Grove, Calif.)
      ScienceDirect http://www.sciencedirect.com/science/book/9781483214535
      Format: 
      Alıntı: 
      Language and Semantics; 4 The Logic; 5 Metalogic; 6 Adding Knowledge of Situations to the Logic; 7
      Protocol specification, testing, and verification, XII : proceedings of the IFIP TC6 WG 6.1, twelfth International Symposium on Protocol Specification, Testing, and Verification, Lake Buena Vista, Florida, U.S.A., 22-25 June, 1992 için kapak resmi
      14. 
      Protocol specification, testing, and verification, XII : proceedings of the IFIP TC6 WG 6.1, twelfth International Symposium on Protocol Specification, Testing, and Verification, Lake Buena Vista, Florida, U.S.A., 22-25 June, 1992
      by 
      IFIP TC6 WG 6.1 International Symposium on Protocol Specification, Testing, and Verification 12th (1992nd : Lake Buena Vista, Florida)
      ScienceDirect https://www.sciencedirect.com/science/book/9780444898746
      Format: 
      Alıntı: 
      Introduction; 2 Extended Finite State Machines; 3 Axiomatic Semantics Approach; 4 Test Cases Generation; 5
      Artificial intelligence planning systems : proceedings of the first international conference, June 15-17, 1992, College Park, Maryland için kapak resmi
      15. 
      Artificial intelligence planning systems : proceedings of the first international conference, June 15-17, 1992, College Park, Maryland
      by 
      Hendler, James A.
      ScienceDirect https://www.sciencedirect.com/science/book/9780080499444
      Format: 
      Alıntı: 
      SEMANTICS OF CONTINUING A TASK; 4 EMBEDDING IN CONTINUOUS TIME; 5 PRIMITIVE ACTIONS; 6 FORMAL SEMANTICS; 7
      Reasoning about actions and plans : proceedings of the 1986 workshop : June 30-July 2, 1986, Timberline, Oregon için kapak resmi
      16. 
      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ı: 
      1. On the Semantics of STRIPS; Abstract; 1. Introduction; 2. Operators and Plans; 3. Semantics: A
      Logic, methodology, and philosophy of science VI : proceedings of the Sixth International Congress of Logic, Methodology, and Philosophy of Science, Hannover, 1979 için kapak resmi
      17.