Search Results for Science.

|

|

|

ADA Moduna dönüştürmek için tıklayınız

|

Yardım

Remember to clear the cache and close the browser window.

Ana Sayfa

Search Limit

8

Search Field

Arama:

Gelişmiş Arama

Search Results Elektronik Kaynaklar

Arama Sonuçlarını Sınırlandır

Daraltılmış:

Logic, Symbolic and mathematical. arama terimini sil

+

Konu: Logic, Symbolic and mathematical.

Yazar

ProQuest (Firm)

(5)

Association for Symbolic Logic.

(4)

Benthem, Johan van, 1949-

(3)

Crossley, John N.

(3)

International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science.

(3)

Mostowski, Andrzej.

(3)

Suppes, Patrick, 1922-2014.

(3)

Dalen, D. van (Dirk), 1932-

(2)

Gandy, R. O. (Robin O.)

(2)

Kuratowski, Kazimierz, 1896-1980.

(2)

Metakides, George, 1945-

(2)

Meulen, Alice G. B. ter.

(2)

Paris, J. B. (Jeff B.)

(2)

Tarski, Alfred, 1901-1983.

(2)

ACM Digital Library.

(1)

Academia Republicii Socialiste România.

(1)

Ackermann, W. (Wilhelm), 1896-1962.

(1)

Addison, J. W. (John West), 1930- editor.

(1)

American Association for Artificial Intelligence.

(1)

Arruda, A. I. (Ayda Ignez)

(1)

Association for Computing Machinery.

(1)

Aĭzerman, M. A. (Mark Aronovich), 1913-1992.

(1)

Aḳademyah ha-leʼumit ha-Yiśreʼelit le-madaʻim.

(1)

Bar-Hillel, Yehoshua.

(1)

(1)

Benthem, J. F. A. K. van, 1949-

(1)

Boffa, Maurice.

(1)

Boyer, Robert S.

(1)

Brady, Geraldine.

(1)

Börger, E. (Egon), 1946-

(1)

Cantini, Andrea.

(1)

Chang, Chin-Liang, 1937-

(1)

Chong, C.-T. (Chi-Tat), 1949-

(1)

(1)

Claesen, Luc J. M.

(1)

Cohen, L. Jonathan (Laurence Jonathan)

(1)

Commission of the European Communities.

(1)

Conference on Alternative Semantics (1970 : Temple University)

(1)

Conference on Intuitionism and Proof Theory (1968 : State University of New York at Buffalo)

(1)

Conference on Theoretical Aspects of Reasoning about Knowledge (5th : 1994 : Pacific Grove, Calif.)

(1)

Cooper, S. B. (S. Barry)

(1)

Costa, Newton C. A. da.

(1)

(1)

Dummett, Michael, 1925-2011.

(1)

Ebbinghaus, Heinz-Dieter, 1939-

(1)

Einstein Institute of Mathematics.

(1)

Enderton, Herbert B.

(1)

Equipe de logique mathématique (Paris, France)

(1)

(1)

Fenstad, Jens Erik, editor.

(1)

Ferro, R. (Ruggero)

(1)

(1)

Frias, Marcelo Fabián, 1968-

(1)

Gabbay, Dov M., 1945-

(1)

Gallin, Daniel.

(1)

(1)

Gauthier, Yvon, author.

(1)

Gentzen, Gerhard.

(1)

Gordon, Michael J. C., 1948-

(1)

Grädel, Erich, 1958-

(1)

Halpern, Joseph Y., 1953-

(1)

(1)

Herbrand, Jacques, 1908-1931.

(1)

Heyting, A. (Arend), 1898-1980.

(1)

Hopkins, Burt C.

(1)

Hyland, John Martin Elliott.

(1)

IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications (1992 : Leuven, Belgium)

(1)

International Business Machines Corporation.

(1)

International Colloquium on Mathematical Logic and Foundations of Set Theory (1968 : Jerusalem)

(1)

International Congress for Logic, Methodology, and Philosophy of Science (4th : 1971 : Bucharest, Romania)

(1)

International Congress of Logic, Methodology, and Philosophy of Science (1960)

(1)

International Congress of Logic, Methodology, and Philosophy of Science (6th : 1979 : Hannover, Germany)

(1)

International Congress of Logic, Methodology, and Philosophy of Science (7th : 1983 : Salzburg, Austria)

(1)

International Congress of Logic, Methodology, and Philosophy of Science (9th : 1991 : Uppsala, Sweden)

(1)

International Mathematical Union.

(1)

International Symposium on the Theory of Models (1963 : Berkeley, Calif.)

(1)

Interuniversity Micro-Electronics Center.

(1)

Jeroslow, Robert G., 1942-1988.

(1)

Karp, Carol, 1926-1972.

(1)

Keisler, H. Jerome.

(1)

(1)

Kreisel, Georg.

(1)

Krivine, J. L. (Jean Louis), author.

(1)

Lascar, D. (Daniel), 1942-

(1)

Latin-American Symposium on Mathematical Logic (4th : 1978 : Santiago de Chile)

(1)

Leblanc, Hugues, 1924-

(1)

Lee, Richard Char-Tung, 1939- author.

(1)

Leeuwen, J. van (Jan)

(1)

Logic Colloquium '82 (Florence)

(1)

Logic Colloquium '84 (1984 : Manchester)

(1)

Logic Colloquium (10th : 1965 : University of Leicester)

(1)

Logic Colloquium (11th : 1966 : Hannover, Germany)

(1)

Logic Colloquium (1973 : Bristol)

(1)

Logic Colloquium (1976 : Oxford)

(1)

Logic Colloquium (1977 : Wrocław, Poland)

(1)

Logic Colloquium (1978 : Mons, Belgium)

(1)

Logic Colloquium (1980 : Prague, Czech Republic)

(1)

Logic Colloquium (1981 : Marseille, France)

(1)

Logic Colloquium (1985 : Orsay, France)

(1)

Logic Colloquium (1987 : Granada, Spain)

(1)

Logic Colloquium (1988 : Padova, Italy)

(1)

Logic Symposion (1980 : Patra, Greece)

(1)

Lolli, Gabriele, 1942-

(1)

Longo, G. (Giuseppe)

(1)

Luschei, Eugene C.

(1)

Luxemburg, W. A. J., 1929-

(1)

Macintyre, Angus.

(1)

Marcja, A. (Annalisa)

(1)

Marcus, Ruth Barcan.

(1)

McAloon, Kenneth.

(1)

Moisil, Grigore C.

(1)

Moore, J Strother, 1947-

(1)

Morse, Anthony P. (Anthony Perry)

(1)

Myhill, John, 1923-1987.

(1)

Nadler, Morton.

(1)

Nagel, Ernest, 1901-1985.

(1)

Nerode, Anil, 1932-

(1)

North Atlantic Treaty Organization.

(1)

Pacholski, Leszek.

(1)

(1)

Rieger, Ladislav, 1916-1963.

(1)

Robinson, Abraham, 1918-1974, editor.

(1)

Robinson, Abraham, 1918-1974.

(1)

Rose, Harvey Ernest.

(1)

Rybakov, Vladimir V. (Vladimir Vladimir), 1961-

(1)

Scandinavian Logic Symposium (2nd : 1970 : University of Oslo)

(1)

Schmidt, H. Arnold.

(1)

Schütte, K. (Kurt)

(1)

Shepherdson, J. C.

(1)

Sinachopoulos, A. (Aneta)

(1)

Skolem, Th. (Thoralf), 1887-1963.

(1)

(1)

Smiley, T. J. (Timothy John)

(1)

Southeast Asian Conference on Logic (1981 : Singapore)

(1)

Stern, Jacques, 1949-

(1)

Summer School in Logic (14th : 1969 : Manchester, England)

(1)

Symposium on Non-standard Analysis (1970 : Oberwolfach, Germany)

(1)

(1)

Temple University. College of Liberal Arts.

(1)

Turing, Alan, 1912-1954.

(1)

United States. Office of Naval Research.

(1)

University of California, Berkeley.

(1)

University of Manchester.

(1)

Vesley, Richard Eugene, 1932-

(1)

Wang, Hao, 1921-

(1)

Weingartner, Paul.

(1)

Westerståhl, Dag, 1946-

(1)

Wicks, M. J. (Malcolm John), 1928-

(1)

Wilke, Thomas, 1965-

(1)

Wilkie, A. J. (Alec J.)

(1)

(1)

Wiskundig Genootschap (Netherlands)

(1)

Yates, C. E. M.

(1)

Yates, C. Michael E.

(1)

Tümünü genişlet

Materyal Türü

Dil

(73)

(2)

(2)

(1)

Yayın Yılı

-

(4)

(4)

(3)

(3)

(3)

(3)

(3)

(3)

(3)

(3)

(2)

(2)

(2)

(2)

(2)

(2)

(2)

(2)

(2)

(2)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

Tümünü genişlet

Konu

Electronic books.

(73)

Conference papers and proceedings.

(28)

Logic, Symbolic and mathematical -- Congresses.

(28)

Logique symbolique et mathématique.

(24)

Logique symbolique et mathématique -- Congrès.

(17)

MATHEMATICS -- Logic.

(17)

MATHEMATICS -- Infinity.

(16)

Wiskundige logica.

(6)

(5)

MATHEMATICS -- General.

(5)

Science -- Philosophy -- Congresses.

(5)

Science -- Philosophy.

(5)

Artificial intelligence.

(4)

Mathematical logic

(4)

(4)

(4)

Symbolische logica.

(4)

Automatic theorem proving.

(3)

Computer science -- Mathematics.

(3)

Mathematics -- Philosophy.

(3)

PHILOSOPHY -- Logic.

(3)

Science -- Methodology -- Congresses.

(3)

Science -- Methodology.

(3)

Sciences -- Philosophie -- Congrès.

(3)

(3)

Artificial intelligence -- Congresses.

(2)

Bibliographies.

(2)

COMPUTERS -- General.

(2)

Computational complexity.

(2)

Inférence (Logique)

(2)

Knowledge, Theory of -- Congresses.

(2)

Knowledge, Theory of.

(2)

LANGUAGE ARTS & DISCIPLINES -- General.

(2)

Langage et logique.

(2)

Logica matematica.

(2)

Mathematische Logik.

(2)

Mathematische linguïstiek.

(2)

Methodology -- Congresses.

(2)

(2)

(2)

Mostowski, Andrzej -- Bibliography.

(2)

Mostowski, Andrzej.

(2)

Méthodologie -- Congrès.

(2)

Natural language processing (Computer science)

(2)

Natuurlijke-taalverwerking.

(2)

Nonstandard mathematical analysis.

(2)

Recursive functions.

(2)

SCIENCE -- Philosophy & Social Aspects.

(2)

Semantics (Philosophy)

(2)

(2)

Set theory -- Congresses.

(2)

(2)

(2)

Théorèmes -- Démonstration automatique.

(2)

Algebra, Boolean.

(1)

Algebraic fields.

(1)

(1)

Algorithms & data structures.

(1)

(1)

Analyse de réseau (planification) -- Algèbre.

(1)

Analyse mathématique -- Congrès.

(1)

Analyse mathématique non standard.

(1)

(1)

(1)

Automata theory

(1)

Automatentheorie

(1)

Automatentheorie.

(1)

Automates mathématiques, Théorie des.

(1)

Automatic theorem proving -- Congresses.

(1)

Automatische bewijsvoering.

(1)

Axioms -- Congresses.

(1)

(1)

BUSINESS & ECONOMICS -- Decision-Making & Problem Solving.

(1)

Berekenbaarheid.

(1)

(1)

Boole, Algèbre de.

(1)

COMPUTERS -- Computer Literacy.

(1)

COMPUTERS -- Computer Science.

(1)

COMPUTERS -- Data Processing.

(1)

COMPUTERS -- Hardware -- General.

(1)

COMPUTERS -- Information Technology.

(1)

COMPUTERS -- Machine Theory.

(1)

COMPUTERS -- Programming Languages -- General.

(1)

COMPUTERS -- Reference.

(1)

Categorial grammar.

(1)

Catégories (Mathématiques) -- Congrès.

(1)

Circuits de commutation.

(1)

Combinatorische logica.

(1)

(1)

Complex analysis, complex variables.

(1)

Complexité de calcul (Informatique)

(1)

Computable functions.

(1)

Connaissance, Théorie de la -- Congrès.

(1)

Constructieve wiskunde.

(1)

Decision making -- Mathematical models.

(1)

Decision support systems.

(1)

Electronic book.

(1)

Electronic digital computers -- Design and construction.

(1)

Engenharia De Programacao (Software)

(1)

Enigma cipher system.

(1)

Ensembles, Théorie des -- Congrès.

(1)

Ensembles, Théorie des.

(1)

Fonctions calculables.

(1)

Fonctions récursives -- Congrès.

(1)

Fonctions récursives.

(1)

Formale Sprache

(1)

Formale Sprache.

(1)

(1)

Gentzen, Gerhard.

(1)

Grammaire catégorielle.

(1)

(1)

(1)

Gödel's theorem.

(1)

Handboeken (vorm)

(1)

Handbooks and manuals

(1)

Handbooks and manuals.

(1)

History of mathematics.

(1)

(1)

Induction (logique) -- Congrès.

(1)

(1)

Information architecture.

(1)

Information theory.

(1)

Intelligence artificielle -- Congrès.

(1)

Intelligence artificielle.

(1)

Intuitionistic mathematics.

(1)

(1)

(1)

LANGUAGE ARTS & DISCIPLINES -- Grammar & Punctuation.

(1)

LANGUAGE ARTS & DISCIPLINES -- Linguistics -- Syntax.

(1)

Lambda calculus.

(1)

Lambda-calcul -- Congrès.

(1)

(1)

Lambda-calculus.

(1)

Langage naturel, Traitement du (informatique)

(1)

Langages infinitaires.

(1)

Language and logic.

(1)

Lesniewski, Stanislaw, 1896-1939.

(1)

Leśniewski, Stanislaw, 1896-1939.

(1)

Linguistica computacional.

(1)

(1)

(1)

Linguistique mathématique.

(1)

(1)

Logic programming.

(1)

Logic, Symbolic and mathematical

(1)

Logic, Symbolic and mathematical -- Handbooks, manuals, etc.

(1)

Logic, Symbolic and mathematical -- History -- 19th century.

(1)

Logic, Symbolic and mathematical -- History -- 20th century.

(1)

Logica Matematica.

(1)

(1)

(1)

Logique algébrique.

(1)

Logique mathématique.

(1)

Logisch programmeren.

(1)

MATHEMATICS -- Algebra -- Intermediate.

(1)

MATHEMATICS -- Essays.

(1)

MATHEMATICS -- Pre-Calculus.

(1)

MATHEMATICS -- Reference.

(1)

Machine theory.

(1)

Machines séquentielles (Théorie)

(1)

Machines séquentielles, Théorie des.

(1)

Mathematical Theory.

(1)

Mathematical foundations.

(1)

Mathematical linguistics.

(1)

Mathematical logic.

(1)

Mathematical models -- Congresses.

(1)

Mathematical models.

(1)

Mathematicians -- Great Britain -- Biography.

(1)

Mathematics -- Philosophy -- Congresses.

(1)

Mathematische Logik

(1)

Metamathematics.

(1)

(1)

Modality (Logic)

(1)

Modalité (Logique)

(1)

Modèles mathématiques -- Congrès.

(1)

Modèles, Théorie des -- Congrès.

(1)

Natural language processing (Computer science) -- Handbooks, manuals, etc.

(1)

Natuurwetenschappen.

(1)

Natürliche Sprache

(1)

Nonstandard mathematical analysis -- Congresses.

(1)

Nonstandard-Analysis

(1)

Philosophy of mathematics.

(1)

Physical Sciences & Mathematics.

(1)

Prise de décision -- Modèles mathématiques.

(1)

Prise de décision.

(1)

Programmation logique.

(1)

Programmatuurtechniek.

(1)

Programmeren (computers)

(1)

(1)

Raisonnement (Philosophie)

(1)

Raisonnement -- Congrès.

(1)

Reasoning -- Congresses.

(1)

(1)

Recursive functions -- Congresses.

(1)

(1)

(1)

(1)

Sciences -- Méthodologie -- Congrès.

(1)

Semantics -- Congresses.

(1)

Semantics -- Handbooks, manuals, etc.

(1)

Tümünü genişlet

Kütüphane

Başkent Kütüphanesi

Lokasyon

Elsevier E-Kitap Koleksiyonu

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Liste görünümüne geç

Küçük resim görünümüne geç

Cooliris görünümüne geç

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

74 sonuç bulundu

Arama sonuçlarına abone ol

1 2 3 4 5 .. 7

Eposta Adresleri:

Phone Number:

Mobile Carrier:

Data usage warning: You will receive one text message for each title you selected.

Standard text messaging rates apply.

000000000000DEFAULTTR

Yazdır

Liste seç

Bunu varsayılan liste yap.

Öğeler başarıyla eklendi

Öğeler eklenirken hata oldu. Lütfen tekrar deneyiniz.

Logic, methodology and philosophy of science IV : proceedings of the Fourth International congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971 için kapak resmi

Logic, methodology and philosophy of science IV : proceedings of the Fourth International congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971

1.

Logic, methodology and philosophy of science IV : proceedings of the Fourth International congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971

by

International Congress for Logic, Methodology, and Philosophy of Science (4th : 1971 : Bucharest, Romania)

ScienceDirect http://www.sciencedirect.com/science/book/9780444104915
ScienceDirect http://www.sciencedirect.com/science/bookseries/0049237X/74
ScienceDirect https://www.sciencedirect.com/science/publication?issn=0049237X&volume=74

Format:

Alıntı:

for Logic, Methodology and Philosophy of Science, Bucharest, 1971 / International Congress for Logic

Logic, methodology and philosophy of science : proceedings of the 1960 international congress için kapak resmi

Logic, methodology and philosophy of science : proceedings of the 1960 international congress

2.

Logic, methodology and philosophy of science : proceedings of the 1960 international congress

by

International Congress of Logic, Methodology, and Philosophy of Science (1960)

ScienceDirect http://www.sciencedirect.com/science/book/9780804700962

Format:

Alıntı:

Logic, methodology and philosophy of science : proceedings of the 1960 international congress /

Logic, methodology, and philosophy of science IX : proceedings of the Ninth International Congress of Logic, Methodology, and Philosophy of Science, Uppsala, Sweden, August 7-14, 1991 için kapak resmi

Logic, methodology, and philosophy of science IX : proceedings of the Ninth International Congress of Logic, Methodology, and Philosophy of Science, Uppsala, Sweden, August 7-14, 1991

3.

Logic, methodology, and philosophy of science IX : proceedings of the Ninth International Congress of Logic, Methodology, and Philosophy of Science, Uppsala, Sweden, August 7-14, 1991

by

International Congress of Logic, Methodology, and Philosophy of Science (9th : 1991 : Uppsala, Sweden)

ScienceDirect http://www.sciencedirect.com/science/book/9780444893413
ScienceDirect http://www.sciencedirect.com/science/publication?issn=0049237X&volume=134
ScienceDirect http://www.sciencedirect.com/science/bookseries/0049237X/134

Format:

Alıntı:

of Logic, Methodology, and Philosophy of Science, Uppsala, Sweden, August 7-14, 1991 / International

Logic, methodology, and philosophy of science VII : proceedings of the Seventh International Congress of Logic, Methodology, and Philosophy of Science, Salzburg, 1983 için kapak resmi

Logic, methodology, and philosophy of science VII : proceedings of the Seventh International Congress of Logic, Methodology, and Philosophy of Science, Salzburg, 1983

4.

Logic, methodology, and philosophy of science VII : proceedings of the Seventh International Congress of Logic, Methodology, and Philosophy of Science, Salzburg, 1983

by

International Congress of Logic, Methodology, and Philosophy of Science (7th : 1983 : Salzburg, Austria)

ScienceDirect http://www.sciencedirect.com/science/book/9780444876560
ScienceDirect https://www.sciencedirect.com/science/book/9780444876560

Format:

Alıntı:

Congress of Logic, Methodology, and Philosophy of Science, Salzburg, 1983 / International Congress of Logic

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

Logic, methodology, and philosophy of science VI : proceedings of the Sixth International Congress of Logic, Methodology, and Philosophy of Science, Hannover, 1979

5.

Logic, methodology, and philosophy of science VI : proceedings of the Sixth International Congress of Logic, Methodology, and Philosophy of Science, Hannover, 1979

by

International Congress of Logic, Methodology, and Philosophy of Science (6th : 1979 : Hannover, Germany)

Available from ScienceDirect. Online version available for university members only. This requires an institutional login off-campus.
ScienceDirect http://www.sciencedirect.com/science/book/9780444854230
ScienceDirect http://www.sciencedirect.com/science/publication?issn=0049237X&volume=104

Format:

Alıntı:

of Logic, Methodology, and Philosophy of Science, Hannover, 1979 / International Congress of Logic

Folk algebras in algebra logic and computer science için kapak resmi

Folk algebras in algebra logic and computer science

6.

Folk algebras in algebra logic and computer science

by

Frias, Marcelo Fabián, 1968-

Format:

Alıntı:

Folk algebras in algebra logic and computer science / Frias, Marcelo Fabián, 1968-

Concepts of proof in mathematics, philosophy, and computer science için kapak resmi

Concepts of proof in mathematics, philosophy, and computer science

7.

Concepts of proof in mathematics, philosophy, and computer science

Format:

Alıntı:

Concepts of proof in mathematics, philosophy, and computer science /

Logic, automata, and algorithms için kapak resmi

Logic, automata, and algorithms

8.

Logic, automata, and algorithms

by

Aĭzerman, M. A. (Mark Aronovich), 1913-1992.

ScienceDirect http://www.sciencedirect.com/science/book/9780120463503

Format:

Alıntı:

Mathematics in science and engineering ;

Principles of logic and logic programming için kapak resmi

Principles of logic and logic programming

9.

Principles of logic and logic programming

by

Metakides, George, 1945-

ScienceDirect http://www.sciencedirect.com/science/book/9780444816443

Format:

Alıntı:

Studies in computer science and artificial intelligence ;

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

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

10.

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ı:

IFIP transactions. A, Computer science and technology ;

Logique arithmetique : l'arithmetisation de la logique için kapak resmi

Logique arithmetique : l'arithmetisation de la logique

11.

Logique arithmetique : l'arithmetisation de la logique

by

Gauthier, Yvon, author.

Format:

Alıntı:

Collection Logique de la science.

Symbolic logic and mechanical theorem proving için kapak resmi

Symbolic logic and mechanical theorem proving

12.

Symbolic logic and mechanical theorem proving

by

Chang, Chin-Liang, 1937-

ScienceDirect https://www.sciencedirect.com/science/book/9780080917283

Format:

Alıntı:

Computer science and applied mathematics.

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

1 2 3 4 5 .. 7

Search Results Elektronik Kaynaklar

Search Results Elektronik Kaynaklar

Eposta Adresleri:

Phone Number:

Mobile Carrier:

Data usage warning: You will receive one text message for each title you selected.

Standard text messaging rates apply.

Elektronik Kaynaklar

Sonuçlar alınıyor Elektronik Kaynaklar...

Copyright 2011 SirsiDynix - Enterprise Version 4.3 (32169)