Arama Sonuçları Logic. - Daraltılmış: Conference papers and proceedings.

Logic colloquium '73 : proceedings

2026-07-18T18:41:40Z

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: Elektronik Kaynak

Proceedings of the Second Scandinavian Logic Symposium

2026-07-18T18:41:40Z

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: Elektronik Kaynak

Proceedings of the third Scandinavian Logic Symposium

2026-07-18T18:41:40Z

by Scandinavian Logic Symposium (3rd : 1973 : University of Uppsala)
ScienceDirect http://www.sciencedirect.com/science/book/9780444106797
Format: Elektronik Kaynak

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

2026-07-18T18:41:40Z

by Logic Colloquium (1976 : Oxford)
ScienceDirect http://www.sciencedirect.com/science/book/9780720406917
Format: Elektronik Kaynak

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

2026-07-18T18:41:40Z

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: Elektronik Kaynak

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

2026-07-18T18:41:40Z

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: Elektronik Kaynak

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

2026-07-18T18:41:40Z

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: Elektronik Kaynak

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

2026-07-18T18:41:40Z

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: Elektronik Kaynak

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

2026-07-18T18:41:40Z

by Logic Colloquium (1978 : Mons, Belgium)
ScienceDirect http://www.sciencedirect.com/science/book/9780444853783 ScienceDirect http://www.sciencedirect.com/science/bookseries/0049237X/97
Format: Elektronik Kaynak

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

2026-07-18T18:41:40Z

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: Elektronik Kaynak

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

2026-07-18T18:41:40Z

by Logic Colloquium (11th : 1966 : Hannover, Germany)
ScienceDirect http://www.sciencedirect.com/science/book/9780444534149
Format: Elektronik Kaynak

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

2026-07-18T18:41:40Z

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: Elektronik Kaynak

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

2026-07-18T18:41:40Z

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: Elektronik Kaynak

Non-classical logics, model theory, and computability : proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976

2026-07-18T18:41:40Z

by Latin-American Symposium on Mathematical Logic (3rd : 1976 : State University of Campinas)
ScienceDirect http://www.sciencedirect.com/science/book/9780720407525
Format: Elektronik Kaynak

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

2026-07-18T18:41:40Z

by Logic Colloquium (10th : 1965 : University of Leicester)
ScienceDirect http://www.sciencedirect.com/science/book/9780444534101
Format: Elektronik Kaynak

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.

2026-07-18T18:41:40Z

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: Elektronik Kaynak

Mathematical logic in Latin America : proceedings of the IV Latin American Symposium on Mathematical Logic held in Santiago, December 1978

2026-07-18T18:41:40Z

by Latin-American Symposium on Mathematical Logic (4th : 1978 : Santiago de Chile)
ScienceDirect http://www.sciencedirect.com/science/book/9780444854025
Format: Elektronik Kaynak

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

2026-07-18T18:41:40Z

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: Elektronik Kaynak

Logic, methodology and philosophy of science III : proceedings of the Third International Congress for Logic, Methodology and Philosophy of Science, Amsterdam 1967

2026-07-18T18:41:40Z

by International Congress for Logic, Methodology, and Philosophy of Science (3rd : 1967 : Amsterdam, Netherlands)
ScienceDirect http://www.sciencedirect.com/science/book/9780444534163 ScienceDirect https://www.sciencedirect.com/science/publication?issn=0049237X&volume=52
Format: Elektronik Kaynak

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

2026-07-18T18:41:40Z

by International Congress of Logic, Methodology, and Philosophy of Science (1960)
ScienceDirect http://www.sciencedirect.com/science/book/9780804700962
Format: Elektronik Kaynak

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

2026-07-18T18:41:40Z

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: Elektronik Kaynak

Logic, methodology, and philosophy of science VIII : proceedings of the Eighth International Congress of Logic, Methodology, and Philosophy of Science, Moscow, 1987

2026-07-18T18:41:40Z

by International Congress of Logic, Methodology, and Philosophy of Science (8th : 1987 : Moscow, Russia)
Available from ScienceDirect. Online version available for university members only. This requires an institutional login off-campus. ScienceDirect http://www.sciencedirect.com/science/book/9780444705204 ScienceDirect http://www.sciencedirect.com/science/publication?issn=0049237X&volume=126 ScienceDirect https://www.sciencedirect.com/science/book/9780444705204
Format: Elektronik Kaynak

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

2026-07-18T18:41:40Z

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: Elektronik Kaynak

The problem of inductive logic : Proceedings of the International colloquium in the philosophy of science, London, 1965. [Volume 2]

2026-07-18T18:41:40Z

by International Colloquium in the Philosophy of Science (1965 : Bedford College)
ScienceDirect http://www.sciencedirect.com/science/book/9780444534156
Format: Elektronik Kaynak

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

2026-07-18T18:41:40Z

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: Elektronik Kaynak

The theory of models proceedings.

2026-07-18T18:41:40Z

by International Symposium on the Theory of Models (1963 : Berkeley, Calif.)
ScienceDirect http://www.sciencedirect.com/science/book/9780720422337
Format: Elektronik Kaynak

Truth, syntax and modality : proceedings of the Temple University Conference on Alternative Semantics

2026-07-18T18:41:40Z

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: Elektronik Kaynak

Problems in the philosophy of science

2026-07-18T18:41:40Z

by International Colloquium in the Philosophy of Science (1965 : Bedford College)
ScienceDirect http://www.sciencedirect.com/science/book/9780444534132
Format: Elektronik Kaynak

The axiomatic method

2026-07-18T18:41:40Z

by Henkin, Leon.
ScienceDirect http://www.sciencedirect.com/science/book/9780444533920
Format: Elektronik Kaynak

Generalized recursion theory II : proceedings of the 1977 Oslo Symposium

2026-07-18T18:41:40Z

by Symposium on Generalized Recursion Theory (2nd : 1977 : University of Oslo)
ScienceDirect http://www.sciencedirect.com/science/book/9780444851635
Format: Elektronik Kaynak

Generalized recursion theory : Proceedings of the 1972 Oslo symposium

2026-07-18T18:41:40Z

by Symposium on Generalized Recursion Theory (1st : 1972 : University of Oslo)
ScienceDirect http://www.sciencedirect.com/science/book/9780444105455
Format: Elektronik Kaynak

Contributions to non-standard analysis

2026-07-18T18:41:40Z

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: Elektronik Kaynak

Formal systems and recursive functions

2026-07-18T18:41:40Z

by Crossley, John N.
ScienceDirect http://www.sciencedirect.com/science/book/9780444534057 ScienceDirect https://www.sciencedirect.com/science/publication?issn=0049237X&volume=40
Format: Elektronik Kaynak

Word problems : decision problems and the Burnside problem in group theory

2026-07-18T18:41:40Z

by Boone, W. W. (William W.)
ScienceDirect http://www.sciencedirect.com/science/book/9780720422719
Format: Elektronik Kaynak

The L.E.J. Brouwer Centenary Symposium : proceedings of the conference held in Noordwijkerhout, 8-13 June 1981

2026-07-18T18:41:40Z

by L.E.J. Brouwer Centenary Symposium (1981 : Noordwijkerhout, Netherlands)
ScienceDirect http://www.sciencedirect.com/science/book/9780444864949 ScienceDirect http://www.sciencedirect.com/science/publication?issn=0049237X&volume=110 ScienceDirect http://www.sciencedirect.com/science/bookseries/0049237X/110
Format: Elektronik Kaynak

The Kleene Symposium : proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A.

2026-07-18T18:41:40Z

by Kleene Symposium (1978 : Madison, Wis.)
ScienceDirect http://www.sciencedirect.com/science/book/9780444853455 ScienceDirect http://www.sciencedirect.com/science/publication?issn=0049237X&volume=101 ScienceDirect http://www.sciencedirect.com/science/bookseries/0049237X/101
Format: Elektronik Kaynak

Word problems II : the Oxford book

2026-07-18T18:41:40Z

by Adi͡an, S. I.
ScienceDirect http://www.sciencedirect.com/science/book/9780444853431 ScienceDirect https://www.sciencedirect.com/science/publication?issn=0049237X&volume=95
Format: Elektronik Kaynak

Problems in the philosophy of mathematics

2026-07-18T18:41:40Z

by International Colloquium in the Philosophy of Science (1965 : Bedford College)
ScienceDirect http://www.sciencedirect.com/science/book/9780444534118 ScienceDirect http://www.sciencedirect.com/science/publication?issn=0049237X&volume=47 ScienceDirect https://www.sciencedirect.com/science/book/9780444534118
Format: Elektronik Kaynak

Cafe : an industrial-strength algebraic formal method

2026-07-18T18:41:40Z

by Futatsugi, Kokichi.
ScienceDirect https://www.sciencedirect.com/science/book/9780444505569
Format: Elektronik Kaynak

Spectral techniques and fault detection

2026-07-18T18:41:40Z

by Karpovsky, Mark G.
ScienceDirect https://www.sciencedirect.com/science/book/9780124000605
Format: Elektronik Kaynak

Intuitionism and proof theory : Proceedings of the summer conference ; Aug 1968

2026-07-18T18:41:40Z

by Conference on Intuitionism and Proof Theory (1968 : State University of New York at Buffalo)
ScienceDirect http://www.sciencedirect.com/science/book/9780720422573
Format: Elektronik Kaynak

Machine learning : proceedings of the Eighth International Workshop (ML91)

2026-07-18T18:41:40Z

by Birnbaum, Lawrence.
ScienceDirect https://www.sciencedirect.com/science/book/9781558602007
Format: Elektronik Kaynak

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

2026-07-18T18:41:40Z

by Halpern, Joseph Y., 1953-
ScienceDirect https://www.sciencedirect.com/science/book/9780934613040
Format: Elektronik Kaynak

Orders--description and roles : in set theory, lattices, ordered groups, topology, theory of models and relations, combinatorics, effectiveness, social sciences : proceedings of the Conference on Ordered Sets and Their Applications, Château de la Tourette, l'Arbresle, July 5-11, 1982 = Ordres--description et rôles : en théorie des ensembles, des treillis, des groupes ordonnés en topologie, théorie des modèles et des relations, combinatoire, effectivité, sciences sociales : actes de la Conférence sur les ensembles ordonnés et leur applications, Château de la tourette, l'Arbresle, juillet 5-11, 1982

2026-07-18T18:41:40Z

by Conference on Ordered Sets and Their Applications (4th : 1982 : L'Arbresle, France)
ScienceDirect http://www.sciencedirect.com/science/book/9780444876010 ScienceDirect http://www.sciencedirect.com/science/publication?issn=03040208&volume=99
Format: Elektronik Kaynak

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

2026-07-18T18:41:40Z

by Conference on Theoretical Aspects of Reasoning about Knowledge (5th : 1994 : Pacific Grove, Calif.)
ScienceDirect http://www.sciencedirect.com/science/book/9781483214535
Format: Elektronik Kaynak

Artificial intelligence V : methodology, systems, applications : proceedings of the Fifth International Conference on Artificial Intelligence: Methodology, Systems, Applications (AIMSA'92) Sofia, Bulgaria, 21-24 September, 1992

2026-07-18T18:41:40Z

by International Conference on Artificial Intelligence: Methodology, Systems, Applications (5th : 1992 : Sofia, Bulgaria)
ScienceDirect http://www.sciencedirect.com/science/book/9780444897527
Format: Elektronik Kaynak

Advances in control education : selected papers from the IFAC Symposium, Boston, Massachusetts, USA, 24-25 June 1991

2026-07-18T18:41:40Z

by Kheir, Naim A., 1933-
ScienceDirect http://www.sciencedirect.com/science/book/9780080409580
Format: Elektronik Kaynak

Mathematical foundations of quantum theory

2026-07-18T18:41:40Z

by Marlow, A. R.
ScienceDirect http://www.sciencedirect.com/science/book/9780124732506
Format: Elektronik Kaynak

Intelligent production machines and systems : 2nd I*PROMS Virtual Conference, 3-14 July 2006

2026-07-18T18:41:40Z

by I*PROMS Virtual Conference (2nd : 2006)
ScienceDirect http://www.sciencedirect.com/science/book/9780080451572
Format: Elektronik Kaynak

Digital soil mapping : an introductory perspective

2026-07-18T18:41:40Z

by Lagacherie, P.
MacEwan University Access (Unlimited Concurrent Users) from ScienceDirect ScienceDirect http://www.sciencedirect.com/science/book/9780444529589
Format: Elektronik Kaynak

Knowledge and language

2026-07-18T18:41:40Z

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: Elektronik Kaynak

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

2026-07-18T18:41:40Z

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: Elektronik Kaynak

Molecular approaches to immunology : proceedings of the Miami winter symposia, January 13-17, 1975

2026-07-18T18:41:40Z

by Smith, E. E. (Eric Ernest), 1931-
ScienceDirect http://www.sciencedirect.com/science/book/9780126510508
Format: Elektronik Kaynak

Fault detection, supervision and safety of technical processes 2006 : a proceedings volume from the 6th IFAC symposium, SAFEPROCESS, Beijing, P.R. China, August 30-September 1, 2006

2026-07-18T18:41:40Z

by IFAC Symposium on Fault Detection, Supervision, and Safety for Technical Processes (6th : 2006 : Beijing, China)
ScienceDirect http://www.sciencedirect.com/science/book/9780080444857
Format: Elektronik Kaynak

Artificial intelligence in real time control 1994 (AIRTC'94) : a postprint volume from the IFAC symposium, Valencia, Spain, 3-5 October 1994

2026-07-18T18:41:40Z

by Crespo, A. (Alfons)
ScienceDirect https://www.sciencedirect.com/science/book/9780080422367
Format: Elektronik Kaynak

Machine learning : proceedings of the Twelfth International Conference on Machine Learning, Tahoe City, California, July 9-12, 1995

2026-07-18T18:41:40Z

by International Conference on Machine Learning (12th : 1995 : Tahoe City, Calif.)
ScienceDirect http://www.sciencedirect.com/science/book/9781558603776
Format: Elektronik Kaynak

Principles of knowledge representation and reasoning : proceedings of the fourth international conference (KR'94)

2026-07-18T18:41:40Z

by International Conference on Principles of Knowledge Representation and Reasoning (4th : 1994 : Bonn, Germany)
ScienceDirect https://www.sciencedirect.com/science/book/9781483214528
Format: Elektronik Kaynak

Analysis, design, and evaluation of man-machine systems 1992 : selected papers from the Fifth IFAC/IFIP/IFORS/IEA Symposium, the Hague, the Netherlands, 9-11 June 1992

2026-07-18T18:41:40Z

by IFAC/IFIP/IFORS/IEA Conference on Analysis, Design, and Evaluation of Man-Machine Systems (5th : 1992 : Hague, Netherlands)
ScienceDirect http://www.sciencedirect.com/science/book/9780080419008
Format: Elektronik Kaynak

Connectionist models : proceedings of the 1990 summer school

2026-07-18T18:41:40Z

by Touretzky, David S.
ScienceDirect https://www.sciencedirect.com/science/book/9781483214481
Format: Elektronik Kaynak

Reasoning about actions and plans : proceedings of the 1986 workshop : June 30-July 2, 1986, Timberline, Oregon

2026-07-18T18:41:40Z

by Georgeff, Michael P., 1946-
ScienceDirect https://www.sciencedirect.com/science/book/9780934613309
Format: Elektronik Kaynak

Algorithms and parallel VLSI architectures III : proceedings of the International Workshop, Algorithms and Parallel VLSI Architectures III, Leuven, Belgium, August 29-31, 1994

2026-07-18T18:41:40Z

by International Workshop on Algorithms and Parallel VLSI Architectures (3rd : 1994 : Louvain, Belgium)
ScienceDirect http://www.sciencedirect.com/science/book/9780444821065
Format: Elektronik Kaynak