Search Results for Congresses.

|

|

|

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

Association for Symbolic Logic.

(3)

Suppes, Patrick, 1922-2014.

(3)

Crossley, John N.

(2)

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

(2)

Tarski, Alfred, 1901-1983.

(2)

ACM Digital Library.

(1)

Academia Republicii Socialiste România.

(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ḳademyah ha-leʼumit ha-Yiśreʼelit le-madaʻim.

(1)

Bar-Hillel, Yehoshua.

(1)

Boffa, Maurice.

(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)

Costa, Newton C. A. da.

(1)

Dalen, D. van (Dirk), 1932-

(1)

(1)

Dummett, Michael, 1925-2011.

(1)

Ebbinghaus, Heinz-Dieter, 1939-

(1)

Einstein Institute of Mathematics.

(1)

(1)

Fenstad, Jens Erik, editor.

(1)

Ferro, R. (Ruggero)

(1)

Gandy, R. O. (Robin O.)

(1)

Gordon, Michael J. C., 1948-

(1)

Halpern, Joseph Y., 1953-

(1)

(1)

Herbrand, Jacques, 1908-1931.

(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)

(1)

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

(1)

Leblanc, Hugues, 1924-

(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 (1981 : Marseille, France)

(1)

Logic Colloquium (1987 : Granada, Spain)

(1)

Logic Colloquium (1988 : Padova, Italy)

(1)

Logic Symposion (1980 : Patra, Greece)

(1)

Luxemburg, W. A. J., 1929-

(1)

Macintyre, Angus.

(1)

Marcus, Ruth Barcan.

(1)

McAloon, Kenneth.

(1)

Metakides, George, 1945-

(1)

Myhill, John, 1923-1987.

(1)

Nagel, Ernest, 1901-1985.

(1)

Pacholski, Leszek.

(1)

Paris, J. B. (Jeff B.)

(1)

(1)

Robinson, Abraham, 1918-1974, editor.

(1)

Rose, Harvey Ernest.

(1)

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

(1)

Schmidt, H. Arnold.

(1)

Schütte, K. (Kurt)

(1)

Shepherdson, J. C.

(1)

(1)

Southeast Asian Conference on Logic (1981 : Singapore)

(1)

Stern, Jacques, 1949-

(1)

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

(1)

Temple University. College of Liberal Arts.

(1)

United States. Office of Naval Research.

(1)

University of California, Berkeley.

(1)

Vesley, Richard Eugene, 1932-

(1)

Weingartner, Paul.

(1)

Westerståhl, Dag, 1946-

(1)

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

(1)

Tümünü genişlet

Materyal Türü

Dil

(28)

(1)

(1)

(1)

Yayın Yılı

-

(3)

(2)

(2)

(2)

(2)

(2)

(2)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

Tümünü genişlet

Konu

Conference papers and proceedings.

(28)

Logic, Symbolic and mathematical -- Congresses.

(28)

Electronic books.

(27)

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

(14)

MATHEMATICS -- Infinity.

(7)

MATHEMATICS -- Logic.

(7)

Science -- Philosophy -- Congresses.

(5)

Science -- Philosophy.

(5)

Science -- Methodology -- Congresses.

(3)

Science -- Methodology.

(3)

Sciences -- Philosophie -- Congrès.

(3)

Artificial intelligence -- Congresses.

(2)

Artificial intelligence.

(2)

COMPUTERS -- General.

(2)

Knowledge, Theory of -- Congresses.

(2)

Knowledge, Theory of.

(2)

(2)

Logique symbolique et mathématique.

(2)

MATHEMATICS -- General.

(2)

Methodology -- Congresses.

(2)

(2)

Méthodologie -- Congrès.

(2)

SCIENCE -- Philosophy & Social Aspects.

(2)

Set theory -- Congresses.

(2)

(2)

Wiskundige logica.

(2)

Analyse mathématique -- Congrès.

(1)

Automatic theorem proving -- Congresses.

(1)

Automatic theorem proving.

(1)

Axioms -- Congresses.

(1)

(1)

(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 -- Reference.

(1)

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

(1)

Engenharia De Programacao (Software)

(1)

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

(1)

Fonctions récursives -- Congrès.

(1)

Fonctions récursives.

(1)

(1)

Induction (logique) -- Congrès.

(1)

Intelligence artificielle -- Congrès.

(1)

(1)

(1)

Logica Matematica.

(1)

Mathematical Theory.

(1)

Mathematical models -- Congresses.

(1)

Mathematical models.

(1)

Mathematics -- Philosophy -- Congresses.

(1)

Mathematics -- Philosophy.

(1)

(1)

Mathematische Logik

(1)

Mathematische Logik.

(1)

(1)

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

(1)

Natuurwetenschappen.

(1)

Nonstandard mathematical analysis -- Congresses.

(1)

Nonstandard mathematical analysis.

(1)

Nonstandard-Analysis

(1)

PHILOSOPHY -- Logic.

(1)

Physical Sciences & Mathematics.

(1)

Programmatuurtechniek.

(1)

Raisonnement -- Congrès.

(1)

Reasoning -- Congresses.

(1)

(1)

Recursive functions -- Congresses.

(1)

Recursive functions.

(1)

(1)

(1)

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

(1)

Semantics -- Congresses.

(1)

(1)

Sémantique -- Congrès.

(1)

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

(1)

Wetenschapsfilosofie.

(1)

Wiskundige methoden.

(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

28 sonuç bulundu

Arama sonuçlarına abone ol

1 2 3

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.

Theoretical aspects of reasoning about knowledge : proceedings of the 1986 conference, March 19-22, 1986, Monterey, California için kapak resmi

Theoretical aspects of reasoning about knowledge : proceedings of the 1986 conference, March 19-22, 1986, Monterey, California

1.

Theoretical aspects of reasoning about knowledge : proceedings of the 1986 conference, March 19-22, 1986, Monterey, California

by

Halpern, Joseph Y., 1953-

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

Format:

Alıntı:

Logic, Symbolic and mathematical -- Congresses.

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, Symbolic and mathematical -- Congresses.

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

Logic, Symbolic and mathematical -- Congresses.

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

Logic, Symbolic and mathematical -- Congresses.

Formal systems and recursive functions için kapak resmi

Formal systems and recursive functions

5.

Formal systems and recursive functions

by

Crossley, John N.

ScienceDirect http://www.sciencedirect.com/science/book/9780444534057
ScienceDirect https://www.sciencedirect.com/science/publication?issn=0049237X&volume=40

Format:

Alıntı:

Logic, Symbolic and mathematical -- Congresses.

Theoretical aspects of reasoning about knowledge : proceedings of the Fifth Conference (TARK 1994) için kapak resmi

Theoretical aspects of reasoning about knowledge : proceedings of the Fifth Conference (TARK 1994)

6.

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

Logic, Symbolic and mathematical -- Congresses.

Contributions to non-standard analysis için kapak resmi

Contributions to non-standard analysis

7.

Contributions to non-standard analysis

by

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

ScienceDirect http://www.sciencedirect.com/science/book/9780720420654
ScienceDirect https://www.sciencedirect.com/science/publication?issn=0049237X&volume=69

Format:

Alıntı:

Nonstandard mathematical analysis -- Congresses.

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

8.

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

Logic, Symbolic and mathematical -- Congresses.

Sets, models and recursion theory : Proceedings of the Summer School in Mathematical Logic and tenth Logic Colloquium, Leicester, August-September 1965 için kapak resmi

Sets, models and recursion theory : Proceedings of the Summer School in Mathematical Logic and tenth Logic Colloquium, Leicester, August-September 1965

9.

Sets, models and recursion theory : Proceedings of the Summer School in Mathematical Logic and tenth Logic Colloquium, Leicester, August-September 1965

by

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

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

Format:

Alıntı:

Logic, Symbolic and mathematical -- Congresses.

The theory of models proceedings. için kapak resmi

The theory of models proceedings.

10.

The theory of models proceedings.

by

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

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

Format:

Alıntı:

Logic, Symbolic and mathematical -- Congresses.

The axiomatic method için kapak resmi

The axiomatic method

11.

The axiomatic method

by

Henkin, Leon.

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

Format:

Alıntı:

Logic, Symbolic and mathematical -- Congresses.

Mathematical logic and foundations of set theory : Proceedings of an international colloquium under the auspices of the Israel Academy of Sciences and Humanities, Jerusalem, 11-14 November 1968. için kapak resmi

Mathematical logic and foundations of set theory : Proceedings of an international colloquium under the auspices of the Israel Academy of Sciences and Humanities, Jerusalem, 11-14 November 1968.

12.

Mathematical logic and foundations of set theory : Proceedings of an international colloquium under the auspices of the Israel Academy of Sciences and Humanities, Jerusalem, 11-14 November 1968.

by

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

ScienceDirect http://www.sciencedirect.com/science/book/9780720422559
ScienceDirect https://www.sciencedirect.com/science/publication?issn=0049237X&volume=59

Format:

Alıntı:

Logic, Symbolic and mathematical -- Congresses.

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

1 2 3

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)