Search Results for Logic.

|

|

|

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

Conference papers and proceedings. arama terimini sil

+

Konu: Conference papers and proceedings.

Yazar

Association for Symbolic Logic.

(3)

Fenstad, Jens Erik.

(3)

International Colloquium in the Philosophy of Science (1965 : Bedford College)

(3)

International Federation of Automatic Control.

(3)

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

(3)

Lakatos, Imre, 1922-1974.

(3)

Suppes, Patrick, 1922-2014.

(3)

American Association for Artificial Intelligence.

(2)

Arruda, A. I. (Ayda Ignez)

(2)

Bedford College.

(2)

Boone, W. W. (William W.)

(2)

British Society for the Philosophy of Science.

(2)

(2)

Costa, Newton C. A. da.

(2)

Crossley, John N.

(2)

Dalen, D. van (Dirk), 1932-

(2)

Gandy, R. O. (Robin O.)

(2)

Tarski, Alfred, 1901-1983.

(2)

ACM Digital Library.

(1)

Academia Republicii Socialiste România.

(1)

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

(1)

(1)

Association for Computing Machinery.

(1)

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

(1)

Bar-Hillel, Yehoshua.

(1)

(1)

Birnbaum, Lawrence.

(1)

Boffa, Maurice.

(1)

Brouwer, L. E. J. (Luitzen Egbertus Jan), 1881-1966.

(1)

Cannonito, F. B. (Frank Benjamin)

(1)

Catthoor, Francky.

(1)

Center for the Study of Language and Information (U.S.)

(1)

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

(1)

Claesen, Luc J. M.

(1)

Cohen, L. Jonathan (Laurence Jonathan)

(1)

Collins, Gregg.

(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 Ordered Sets and Their Applications (4th : 1982 : L'Arbresle, France)

(1)

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

(1)

Connectionist Models Summer School (1990 : University of California, San Diego)

(1)

Crespo, A. (Alfons)

(1)

Danks, Joseph H.

(1)

(1)

(1)

Du Boulay, Ben.

(1)

Dummett, Michael, 1925-2011.

(1)

Ebbinghaus, Heinz-Dieter, 1939-

(1)

Einstein Institute of Mathematics.

(1)

Eldukhri, E. E.

(1)

(1)

Fenstad, Jens Erik, editor.

(1)

Ferro, R. (Ruggero)

(1)

Franklin, Gene F.

(1)

Frolov, Ivan Timofeevich.

(1)

Futatsugi, Kokichi.

(1)

Georgeff, Michael P., 1946-

(1)

Global Workshop on Digital Soil Mapping (2004 : Montpellier, France)

(1)

Gordon, Michael J. C., 1948-

(1)

Halpern, Joseph Y., 1953-

(1)

(1)

Herbrand, Jacques, 1908-1931.

(1)

Higman, G. (Graham)

(1)

Hilpinen, Risto.

(1)

Hinman, Peter G.

(1)

Hyland, John Martin Elliott.

(1)

I*PROMS Virtual Conference (2nd : 2006)

(1)

IFAC Symposium on Advances in Control Education (1991 : Boston, Mass.)

(1)

IFAC Symposium on Artificial Intelligence in Real-Time Control (1994 : Valencia, Spain)

(1)

IFAC Symposium on Fault Detection, Supervision, and Safety for Technical Processes (6th : 2006 : Beijing, China)

(1)

IFAC/IFIP/IFORS/IEA Conference on Analysis, Design, and Evaluation of Man-Machine Systems (5th : 1992 : Hague, Netherlands)

(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 Conference on Artificial Intelligence: Methodology, Systems, Applications (5th : 1992 : Sofia, Bulgaria)

(1)

International Conference on Knowledge and Language (1984 : Jachranka, Poland)

(1)

International Conference on Machine Learning (12th : 1995 : Tahoe City, Calif.)

(1)

International Conference on Principles of Knowledge Representation and Reasoning (4th : 1994 : Bonn, Germany)

(1)

International Congress for Logic, Methodology, and Philosophy of Science (3rd : 1967 : Amsterdam, Netherlands)

(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 (8th : 1987 : Moscow, Russia)

(1)

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

(1)

International FCT-Conference (1983 : Borgholm, Sweden)

(1)

International Mathematical Union.

(1)

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

(1)

International Workshop on Algorithms and Parallel VLSI Architectures (3rd : 1994 : Louvain, Belgium)

(1)

International Workshop on Machine Learning (8th : 1991 : Northwestern University)

(1)

International Workshop on Spectral Techniques and Fault Detection (1983 : Boston, Mass.)

(1)

Interuniversity Micro-Electronics Center.

(1)

(1)

Karpiński, Marek, 1948-

(1)

Karpovsky, Mark G.

(1)

Keisler, H. Jerome.

(1)

Kheir, Naim A., 1933-

(1)

(1)

Kleene Symposium (1978 : Madison, Wis.)

(1)

Kleene, Stephen Cole, 1909-1994.

(1)

Koninklijk Instituut van Ingenieurs (Netherlands)

(1)

Kunen, Kenneth.

(1)

(1)

L.E.J. Brouwer Centenary Symposium (1981 : Noordwijkerhout, Netherlands)

(1)

(1)

Lansky, Amy L., 1955-

(1)

Latin-American Symposium on Mathematical Logic (3rd : 1976 : State University of Campinas)

(1)

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

(1)

Leblanc, Hugues, 1924-

(1)

Leeuwen, J. van (Jan)

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

London School of Economics and Political Science.

(1)

Luxemburg, W. A. J., 1929-

(1)

Lyndon, Roger C.

(1)

Macintyre, Angus.

(1)

Marcus, Ruth Barcan.

(1)

(1)

McAloon, Kenneth.

(1)

McBratney, A. B.

(1)

Metakides, George, 1945-

(1)

Moonen, Marc S., 1963-

(1)

Musgrave, Alan.

(1)

Myhill, John, 1923-1987.

(1)

Nagel, Ernest, 1901-1985.

(1)

Nakagawa, A. T. (Ataru T.)

(1)

Pacholski, Leszek.

(1)

Paris, J. B. (Jeff B.)

(1)

(1)

(1)

(1)

Prieditis, Armand.

(1)

Rabins, Michael J. (Michael Jerome), 1932-2008.

(1)

Ribbons, Douglas W.

(1)

Richard, Denis, 1942-

(1)

Robinson, Abraham, 1918-1974, editor.

(1)

Rootselaar, B. van (Bob)

(1)

Rose, Harvey Ernest.

(1)

Russell, Stuart J. (Stuart Jonathan)

(1)

Sacks, Gerald E.

(1)

Sandewall, Erik.

(1)

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

(1)

Scandinavian Logic Symposium (3rd : 1973 : University of Uppsala)

(1)

Schmidt, H. Arnold.

(1)

Schütte, K. (Kurt)

(1)

(1)

Shepherdson, J. C.

(1)

Shugar, G. W. (Grace W.)

(1)

(1)

Smith, E. E. (Eric Ernest), 1931-

(1)

(1)

Southeast Asian Conference on Logic (1981 : Singapore)

(1)

(1)

Stassen, H. G. (Henk G.)

(1)

Stern, Jacques, 1949-

(1)

Symposium on Generalized Recursion Theory (1st : 1972 : University of Oslo)

(1)

Symposium on Generalized Recursion Theory (2nd : 1977 : University of Oslo)

(1)

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

(1)

Tamai, T. (Tetsuo)

(1)

Technische Universiteit Delft.

(1)

Temple University. College of Liberal Arts.

(1)

Torasso, Pietro.

(1)

Touretzky, David S.

(1)

Troelstra, A. S. (Anne Sjerp)

(1)

United States. Office of Naval Research.

(1)

University of California, Berkeley.

(1)

University of Miami. Department of Biochemistry.

(1)

Uniwersytet Warszawski. Psycholinguistic Unit.

(1)

Vesley, Richard Eugene, 1932-

(1)

(1)

Weingartner, Paul.

(1)

Westerståhl, Dag, 1946-

(1)

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

(1)

Zhang, Hong-Yue.

(1)

Tümünü genişlet

Materyal Türü

Dil

(61)

(1)

(1)

(1)

Yayın Yılı

-

(4)

(4)

(3)

(3)

(3)

(3)

(3)

(3)

(3)

(3)

(2)

(2)

(2)

(2)

(2)

(2)

(2)

(2)

(2)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

Tümünü genişlet

Konu

Electronic books.

(59)

Logic, Symbolic and mathematical -- Congresses.

(28)

Logic, Symbolic and mathematical.

(28)

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

(15)

MATHEMATICS -- Infinity.

(11)

MATHEMATICS -- Logic.

(11)

Science -- Philosophy -- Congresses.

(8)

Science -- Philosophy.

(8)

Artificial intelligence -- Congresses.

(6)

Artificial intelligence.

(6)

(5)

Science -- Methodology -- Congresses.

(5)

Science -- Methodology.

(5)

Sciences -- Philosophie -- Congrès.

(5)

COMPUTERS -- General.

(4)

(4)

MATHEMATICS -- General.

(4)

Logic -- Congresses.

(3)

(3)

(3)

Mathematical Theory.

(3)

Mathematics -- Philosophy -- Congresses.

(3)

Mathematics -- Philosophy.

(3)

(3)

Physical Sciences & Mathematics.

(3)

Recursion theory -- Congresses.

(3)

Recursion theory.

(3)

SCIENCE -- Philosophy & Social Aspects.

(3)

Wiskundige logica.

(3)

Apprentissage automatique -- Congrès.

(2)

Automatic control -- Congresses.

(2)

Automatic control.

(2)

(2)

Fonctions récursives.

(2)

Group theory -- Congresses.

(2)

(2)

Induction (Logic)

(2)

Induction (Logic) -- Congresses.

(2)

Intelligence artificielle -- Congrès.

(2)

Intuitionistic mathematics -- Congresses.

(2)

Intuitionistic mathematics.

(2)

Intuïtionisme.

(2)

Knowledge, Theory of -- Congresses.

(2)

Knowledge, Theory of.

(2)

Logique symbolique et mathématique.

(2)

Machine learning -- Congresses.

(2)

Machine learning.

(2)

Machine-learning.

(2)

Mathématiques intuitionnistes -- Congrès.

(2)

Methodology -- Congresses.

(2)

(2)

Méthodologie -- Congrès.

(2)

Reasoning -- Congresses.

(2)

(2)

Récursivité, Théorie de la -- Congrès.

(2)

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

(2)

Set theory -- Congresses.

(2)

(2)

Algebraic logic -- Congresses.

(1)

Algebraic logic.

(1)

Allergy and Immunology -- Congresses.

(1)

Analyse mathématique -- Congrès.

(1)

Artificial intelligence

(1)

Assembly-line methods -- Automatic control -- Congresses.

(1)

Aufsatzsammlung

(1)

Automatic control -- Study and teaching -- Congresses.

(1)

Automatic control -- Study and teaching.

(1)

Automatic theorem proving -- Congresses.

(1)

Automatic theorem proving.

(1)

Axioms -- Congresses.

(1)

(1)

(1)

Bodemkunde (algemeen)

(1)

Brouwer, L. E. J. (Luitzen Egbertus Jan), 1881-1966.

(1)

CAD/CAM systems -- Congresses.

(1)

CAD/CAM systems.

(1)

COMPUTERS -- CAD-CAM.

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

Cognition -- Congresses.

(1)

(1)

Computable functions -- Congresses.

(1)

Computable functions.

(1)

Computation Theories

(1)

Computational complexity -- Congresses.

(1)

Computational complexity.

(1)

Computer algorithms -- Congresses.

(1)

Computer algorithms.

(1)

Computer architecture -- Congresses.

(1)

Computer architecture.

(1)

Computer science -- Mathematics -- Congresses.

(1)

Computer science -- Mathematics.

(1)

Computers Design

(1)

Concept learning -- Congresses.

(1)

Concept learning.

(1)

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

(1)

Connection machines -- Congresses.

(1)

Connection machines.

(1)

Constructive mathematics -- Congresses.

(1)

Constructive mathematics.

(1)

Decision making -- Congresses.

(1)

Decision making.

(1)

(1)

Digital soil mapping -- Congresses.

(1)

Digital soil mapping.

(1)

(1)

Electronic book.

(1)

Engenharia De Programacao (Software)

(1)

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

(1)

Evanston (Ill., 1991)

(1)

Fault location (Engineering)

(1)

Fault location (Engineering) -- Congresses.

(1)

Fault-tolerant computing -- Congresses.

(1)

Fault-tolerant computing.

(1)

Fehlererkennung

(1)

(1)

Fonctions récursives -- Congrès.

(1)

Formal methods (Computer science)

(1)

Formal methods (Computer science) -- Congresses.

(1)

(1)

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

(1)

Gödel's theorem -- Congresses.

(1)

Gödel's theorem.

(1)

Gödel, Théorème de -- Congrès.

(1)

(1)

Higher education institutions Curriculum Computers

(1)

Human-machine systems -- Congresses.

(1)

Human-machine systems.

(1)

I*PROMS virtual

(1)

Immunologie -- Congrès.

(1)

(1)

Immunology -- Congresses.

(1)

(1)

Induction (logique) -- Congrès.

(1)

Information storage and retrieval systems -- Congresses.

(1)

Information storage and retrieval systems.

(1)

Integrated circuits -- Very large scale integration -- Congresses.

(1)

Integrated circuits -- Very large scale integration.

(1)

(1)

Kleene, Stephen Cole, 1909-1994.

(1)

Knowledge representation (Information theory)

(1)

Knowledge representation (Information theory) -- Congresses.

(1)

Kognitive Entwicklung

(1)

(1)

Konnektionismus

(1)

Kontrollsystem.

(1)

Kunstmatige intelligentie.

(1)

Kwantummechanica.

(1)

Künstliche Intelligenz

(1)

LANGUAGE ARTS & DISCIPLINES -- Linguistics -- Psycholinguistics.

(1)

Langage -- Acquisition.

(1)

Language Development.

(1)

Language Psychological aspects

(1)

Language acquisition -- Congresses.

(1)

Language acquisition.

(1)

Logic design -- Congresses.

(1)

(1)

Logica Matematica.

(1)

Logique algébrique -- Congrès.

(1)

(1)

MATHEMATICS -- Essays.

(1)

MATHEMATICS -- Group Theory.

(1)

MATHEMATICS -- Pre-Calculus.

(1)

MATHEMATICS -- Reference.

(1)

Machine theory -- Congresses.

(1)

Machine theory.

(1)

Maschinelles Lernen

(1)

Mathematical logic.

(1)

Mathematical models -- Congresses.

(1)

Mathematical models.

(1)

Mathematics Recursive functions

(1)

(1)

(1)

Mathematische Logik

(1)

Mathematische Logik.

(1)

Mathématiques -- Congrès.

(1)

Mathématiques constructives -- Congrès.

(1)

Mathématiques.

(1)

Mensch-Maschine-System.

(1)

Model theory -- Congresses.

(1)

(1)

(1)

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

(1)

Méthodes formelles (Informatique) -- Congrès.

(1)

Natuurwetenschappen.

(1)

Neoplasms -- immunology -- Congresses.

(1)

Neural networks (Computer science)

(1)

Neural networks (Computer science) -- Congresses.

(1)

Neuronales Netz

(1)

Nonclassical mathematical logic -- Congresses.

(1)

Nonclassical mathematical logic.

(1)

Nonstandard mathematical analysis -- Congresses.

(1)

Nonstandard mathematical analysis.

(1)

Nonstandard-Analysis

(1)

Ordered sets -- Congresses.

(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

61 sonuç bulundu

Arama sonuçlarına abone ol

1 2 3 4 5 .. 6

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 colloquium '73 : proceedings için kapak resmi

Logic colloquium '73 : proceedings

1.

Logic colloquium '73 : proceedings

by

Logic Colloquium (1973 : Bristol)

ScienceDirect https://www.sciencedirect.com/science/publication?issn=0049237X&volume=82
ScienceDirect https://www.sciencedirect.com/science/book/9780444106421
ScienceDirect https://www.sciencedirect.com/science/bookseries/0049237X/80

Format:

Alıntı:

Logic colloquium '73 : proceedings / Logic Colloquium (1973 : Bristol)

Proceedings of the Second Scandinavian Logic Symposium için kapak resmi

Proceedings of the Second Scandinavian Logic Symposium

2.

Proceedings of the Second Scandinavian Logic Symposium

by

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

ScienceDirect https://www.sciencedirect.com/science/book/9780720422597
ScienceDirect https://www.sciencedirect.com/science/bookseries/0049237X/63
ScienceDirect https://www.sciencedirect.com/science/publication?issn=0049237X&volume=63

Format:

Alıntı:

Proceedings of the Second Scandinavian Logic Symposium Scandinavian Logic Symposium (2nd : 1970

Proceedings of the third Scandinavian Logic Symposium için kapak resmi

Proceedings of the third Scandinavian Logic Symposium

3.

Proceedings of the third Scandinavian Logic Symposium

by

Scandinavian Logic Symposium (3rd : 1973 : University of Uppsala)

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

Format:

Alıntı:

Proceedings of the third Scandinavian Logic Symposium / Scandinavian Logic Symposium (3rd : 1973

Logic Colloquium 76 : proceedings of a conference held in Oxford in July 1976 için kapak resmi

Logic Colloquium 76 : proceedings of a conference held in Oxford in July 1976

4.

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

Logic Colloquium 76 : proceedings of a conference held in Oxford in July 1976 / Logic Colloquium

Logic Colloquium '88 : proceedings of the Colloquium held in Padova, Italy August 22-31, 1988 için kapak resmi

Logic Colloquium '88 : proceedings of the Colloquium held in Padova, Italy August 22-31, 1988

5.

Logic Colloquium '88 : proceedings of the Colloquium held in Padova, Italy August 22-31, 1988

by

Logic Colloquium (1988 : Padova, Italy)

ScienceDirect http://www.sciencedirect.com/science/book/9780444874559
ScienceDirect http://www.sciencedirect.com/science/publication?issn=0049237X&volume=127

Format:

Alıntı:

Logic Colloquium '88 : proceedings of the Colloquium held in Padova, Italy August 22-31, 1988 /

Proceedings of the Herbrand symposium : Logic Colloquium '81 ... held in Marseilles, France, July 1981 için kapak resmi

Proceedings of the Herbrand symposium : Logic Colloquium '81 ... held in Marseilles, France, July 1981

6.

Proceedings of the Herbrand symposium : Logic Colloquium '81 ... held in Marseilles, France, July 1981

by

Logic Colloquium (1981 : Marseille, France)

ScienceDirect http://www.sciencedirect.com/science/book/9780444864178
ScienceDirect http://www.sciencedirect.com/science/publication?issn=0049237X&volume=107

Format:

Alıntı:

Proceedings of the Herbrand symposium : Logic Colloquium '81 ... held in Marseilles, France, July

Patras Logic Symposion : proceedings of the Logic Symposion held at Patras, Greece, August 18-22, 1980 için kapak resmi

Patras Logic Symposion : proceedings of the Logic Symposion held at Patras, Greece, August 18-22, 1980

7.

Patras Logic Symposion : proceedings of the Logic Symposion held at Patras, Greece, August 18-22, 1980

by

Logic Symposion (1980 : Patra, Greece)

ScienceDirect http://www.sciencedirect.com/science/book/9780444864765
ScienceDirect http://www.sciencedirect.com/science/publication?issn=0049237X&volume=109

Format:

Alıntı:

Patras Logic Symposion : proceedings of the Logic Symposion held at Patras, Greece, August 18-22

Logic Colloquium '87 : proceedings of the Colloquium held in Granada, Spain July 20-25, 1987 için kapak resmi

Logic Colloquium '87 : proceedings of the Colloquium held in Granada, Spain July 20-25, 1987

8.

Logic Colloquium '87 : proceedings of the Colloquium held in Granada, Spain July 20-25, 1987

by

Logic Colloquium (1987 : Granada, Spain)

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

Format:

Alıntı:

Logic Colloquium '87 : proceedings of the Colloquium held in Granada, Spain July 20-25, 1987 /

Logic colloquium '78 : proceedings of the colloquium held in Mons, August 1978 için kapak resmi

Logic colloquium '78 : proceedings of the colloquium held in Mons, August 1978

9.

Logic colloquium '78 : proceedings of the colloquium held in Mons, August 1978

by

Logic Colloquium (1978 : Mons, Belgium)

ScienceDirect http://www.sciencedirect.com/science/book/9780444853783
ScienceDirect http://www.sciencedirect.com/science/bookseries/0049237X/97

Format:

Alıntı:

Logic colloquium '78 : proceedings of the colloquium held in Mons, August 1978 / Logic Colloquium

Logic Colloquium '77 : proceedings of the colloquium held in Wrocław, August 1977 için kapak resmi

Logic Colloquium '77 : proceedings of the colloquium held in Wrocław, August 1977

10.

Logic Colloquium '77 : proceedings of the colloquium held in Wrocław, August 1977

by

Logic Colloquium (1977 : Wrocław, Poland)

ScienceDirect http://www.sciencedirect.com/science/book/9780444851789
ScienceDirect http://www.sciencedirect.com/science/bookseries/0049237X/96

Format:

Alıntı:

Logic Colloquium '77 : proceedings of the colloquium held in Wrocław, August 1977 / Logic

Contributions to mathematical logic : Proceedings of the Logic Colloquium, Hannover 1966 için kapak resmi

Contributions to mathematical logic : Proceedings of the Logic Colloquium, Hannover 1966

11.

Contributions to mathematical logic : Proceedings of the Logic Colloquium, Hannover 1966

by

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

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

Format:

Alıntı:

Contributions to mathematical logic : Proceedings of the Logic Colloquium, Hannover 1966 / Logic

Southeast Asian Conference on Logic : proceedings of the Logic Conference, Singapore, 1981 için kapak resmi

Southeast Asian Conference on Logic : proceedings of the Logic Conference, Singapore, 1981

12.

Southeast Asian Conference on Logic : proceedings of the Logic Conference, Singapore, 1981

by

Southeast Asian Conference on Logic (1981 : Singapore)

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

Format:

Alıntı:

Southeast Asian Conference on Logic : proceedings of the Logic Conference, Singapore, 1981 /

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

1 2 3 4 5 .. 6

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)