Վերաձևակերպիր քո փնտրումը
Հասանելիություն
-
Հեղինակներ
- Allen, James
- Anderson, C. Anthony
- Ashworth, E. J.
- Ballmer, Thomas T.
- Bar-Hillel, Yehoshua
- Barwise, Jon
- Belnap, Nuel D.
- Benthem, Johan van
- Cooper, Robin
- Cooper, William S.
- Domolki, B.
- Dybjer, Peter
- Ebbs, Gary
- Fumagalli Beonio Brocchieri, Mariateresa
- Gergely, Tamas
- Goldblatt, Robert
- Gordon, Andrew D.
- Guenthner, Franz
- Huppe, Bernard Felix
- Johnson, Mark
- Kaminsky, Jack
- Keller, Bill
- Kretzmann, Norman
- Land, Stephen K.
- Lewis, Harry R.
- Martin, Richard Milton
- Mohanan, Tara
- Mukai, Kuniaki
- Owens, Joseph
- Perry, John
- Pitts, Andrew M.
- Quine, Willard Van Orman
- Rohrer, Christian
- Schmidt, Franz
- Seligman, Jerry
- Steel, Thomas B.
- Stenius, Erik
- Stump, Eleonore
- Westerstahl, Dag
- Բրուտյան, Գեորգ Աբելի
- Ցույց տուր ավելին
- Ցույց տուր ավելի քիչը
-
Նյութի տեսակներ
-
Տեղակայություններ
-
Մատենաշար
- A Borzoi Book
- Addison-Wesley series in logic
- Adiwes international series
- Armenian library of the Calouste Gulbenkian foundation
- CSLI Lecture Notes
- CSLI Lecture Notes ; No. 1
- CSLI Lecture Notes ; No. 16
- CSLI Lecture Notes ; No. 20
- CSLI Lecture Notes ; No. 22
- CSLI Lecture Notes ; No. 44
- CSLI Lecture Notes ; No. 55
- CSLI Lecture Notes ; No. 7
- Colloquia mathematica societatis Janos Bolyai
- Dissertations in Linguistics
- Longman Linguistics Library ; no. 16
- North-Holland linguistic series
- Prentice-Hall Software Series
- Publications of the Newton Institute ; 14
- Publications of the Newton Institute ; No. 12
- Synthese historical library
- Synthese language library
- The Cambridge translations of medieval philosophical texts
- Ցույց տուր ավելին
- Ցույց տուր ավելի քիչը
-
Թեմաներ
- 18th century
- Abelard, Peter
- Argumentations
- Artificial intelligence
- Attitude (Psychology)
- Computational complexity
- Computational linguistics
- Computer programming
- Congresses
- Context (Linguistics)
- Data processing
- Early works to 1800
- Electronic data processing
- Formal languages
- Grammar, Comparative and general
- Grammar, Comparative and general-Sentences
- Hindi language
- History
- Information theory
- Language and languages
- Language and logic
- Language arts
- Languages and logic
- Linguistics
- Logic
- Logic, Medieval
- Logic, Modern
- Logic, Symbolic and mathematical
- Logic, symbolic and mathematical
- Logical positivism
- Machine theory
- Machine translating
- Mathematical linguistics
- Mathematics
- Modality (Logic)
- Philosophy
- Philosophy of mind
- Philosophy, Medieval
- Philosophy, Modern
- Philosophy, Renaissance
- Predicate (Logic)
- Programming languages (Electronic computers)
- Proposition (Logic)
- Question (Logic)
- Question-answering systems
- Semantics
- Semantics (Philosophy)
- Semiotics
- Sources
- Syntax
- Ցույց տուր ավելին
- Ցույց տուր ավելի քիչը
-
Հավաքածուներ
-
Պահումը իրականացնող գրադարաններ