Search Results for Semantics.

|

|

|

Click to Render in ADA Mode

|

Help

Remember to clear the cache and close the browser window.

Home

Search Limit

8

Search Field

Search For:

Advanced Search

Search Results Electronic Resources

Limit Search Results

Narrowed by:

Delete search term Conference papers and proceedings.

+

Subject: Conference papers and proceedings.

Author

American Association for Artificial Intelligence.

(2)

ACM Digital Library.

(1)

(1)

Arruda, A. I. (Ayda Ignez)

(1)

Association for Symbolic Logic.

(1)

Bouchon-Meunier, B. (Bernadette), 1948-

(1)

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

(1)

(1)

Claesen, Luc J. M.

(1)

Cohen, L. Jonathan (Laurence Jonathan)

(1)

Coletti, Giulianella.

(1)

Commission of the European Communities.

(1)

Conference on Alternative Semantics (1970 : Temple University)

(1)

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

(1)

Costa, Newton C. A. da.

(1)

Danks, Joseph H.

(1)

Ebbinghaus, Heinz-Dieter, 1939-

(1)

(1)

Gandy, R. O. (Robin O.)

(1)

Georgeff, Michael P., 1946-

(1)

Gordon, Michael J. C., 1948-

(1)

Hendler, James A.

(1)

Hsiao, David K., 1933-

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

IFIP TC6 WG 6.1 International Symposium on Protocol Specification, Testing, and Verification 12th (1992nd : Lake Buena Vista, Florida)

(1)

IFIP WG2.6 Database Semantics Conference on Interoperable Database Systems (DS-5) (1992 : Lorne, Vic.)

(1)

International Conference on Artificial Intelligence Planning Systems (1st : 1992 : College Park, Md.)

(1)

International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (2004 : Perugia, Italy)

(1)

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

(1)

International Conference on Very Large Data Bases (30th : 2004 : Toronto, Ont.)

(1)

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

(1)

International FCT-Conference (1983 : Borgholm, Sweden)

(1)

International Symposium on Systems and Human Science (1st : 2003 : Osaka University)

(1)

Interuniversity Micro-Electronics Center.

(1)

Karpiński, Marek, 1948-

(1)

Keisoku Jidō Seigyo Gakkai (Japan)

(1)

(1)

Lansky, Amy L., 1955-

(1)

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

(1)

Leblanc, Hugues, 1924-

(1)

Leeuwen, J. van (Jan)

(1)

(1)

Logic Colloquium (1976 : Oxford)

(1)

Logic Colloquium (1987 : Granada, Spain)

(1)

Makino, Kazuhisa.

(1)

Martin, W. N. (Worthy N.)

(1)

Nascimento, Mario A.

(1)

Neuhold, Erich J.

(1)

Robotics Society of Japan.

(1)

Sacks-Davis, Ron.

(1)

Shugar, G. W. (Grace W.)

(1)

Spears, William M., 1962-

(1)

Temple University. College of Liberal Arts.

(1)

United States. Defense Advanced Research Projects Agency.

(1)

University of Maryland at College Park. Institute for Advanced Computer Studies.

(1)

Uniwersytet Warszawski. Psycholinguistic Unit.

(1)

(1)

Workshop on Foundations of Genetic Algorithms (6th : 2000 : Charlottesville, Va.)

(1)

Yager, Ronald R., 1941-

(1)

Yamamoto, Shigeru, 1964-

(1)

Ōsaka Daigaku.

(1)

Material Type

Language

(17)

Publication Date

-

(2)

(2)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

Subject

Electronic books.

(17)

Logic, Symbolic and mathematical -- Congresses.

(7)

Logic, Symbolic and mathematical.

(7)

Artificial intelligence -- Congresses.

(5)

Artificial intelligence.

(4)

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

(4)

COMPUTERS -- Enterprise Applications -- Business Intelligence Tools.

(3)

COMPUTERS -- Intelligence (AI) & Semantics.

(3)

MATHEMATICS -- Infinity.

(3)

MATHEMATICS -- Logic.

(3)

Bases de données -- Congrès.

(2)

COMPUTERS -- Computer Literacy.

(2)

COMPUTERS -- Computer Science.

(2)

COMPUTERS -- Data Processing.

(2)

COMPUTERS -- General.

(2)

COMPUTERS -- Hardware -- General.

(2)

COMPUTERS -- Information Technology.

(2)

COMPUTERS -- Machine Theory.

(2)

COMPUTERS -- Reference.

(2)

Database management -- Congresses.

(2)

Database management.

(2)

(2)

MATHEMATICS -- General.

(2)

(1)

Artificial Intelligence.

(1)

Automatic theorem proving -- Congresses.

(1)

Automatic theorem proving.

(1)

Bases de données -- Gestion -- Congrès.

(1)

(1)

COMPUTERS -- Database Management -- General.

(1)

COMPUTERS -- Desktop Applications -- Databases.

(1)

COMPUTERS -- System Administration -- Storage & Retrieval.

(1)

Cognition -- Congresses.

(1)

(1)

Computation Theories

(1)

Computational complexity -- Congresses.

(1)

Computational complexity.

(1)

Computational intelligence -- Congresses.

(1)

Computational intelligence.

(1)

Computer network protocols -- Congresses.

(1)

Computer network protocols.

(1)

Computer science -- Mathematics -- Congresses.

(1)

Computer science -- Mathematics.

(1)

Computernetwerken.

(1)

Computers Networks Protocols

(1)

(1)

Data structures (Computer science)

(1)

Data structures (Computer science) -- Congresses.

(1)

(1)

(1)

Databases -- Congresses.

(1)

(1)

Gedistribueerde gegevensverwerking.

(1)

Genetic algorithms -- Congresses.

(1)

Genetic algorithms.

(1)

(1)

Genetische algoritmen.

(1)

(1)

Human-machine systems -- Congresses.

(1)

Human-machine systems.

(1)

Induction (logique) -- Congrès.

(1)

Information Theory.

(1)

Information theory -- Congresses.

(1)

(1)

Knowledge, Theory of -- Congresses.

(1)

Knowledge, Theory of.

(1)

Kognitive Entwicklung

(1)

(1)

(1)

Kunstmatige intelligentie.

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

Logica Matematica.

(1)

(1)

Machine theory -- Congresses.

(1)

Machine theory.

(1)

Mathematische Logik

(1)

Mathematische Logik.

(1)

Methodology -- Congresses.

(1)

(1)

Méthodologie -- Congrès.

(1)

Planning -- Data processing -- Congresses.

(1)

Planning -- Data processing.

(1)

Planungsverfahren

(1)

Problem solving -- Congresses.

(1)

Problem solving.

(1)

(1)

Programmation orientée objets (informatique) -- Congrès.

(1)

Programmatuurtechniek.

(1)

Protocoles de réseaux d'ordinateurs -- Congrès.

(1)

Psycholinguistics -- Congresses.

(1)

Psycholinguistics.

(1)

Psycholinguistik

(1)

Psycholinguistique.

(1)

Robots -- Control systems -- Congresses.

(1)

Robots -- Control systems.

(1)

Science -- Philosophy -- Congresses.

(1)

Science -- Philosophy.

(1)

Sciences -- Philosophie -- Congrès.

(1)

Semantics -- Congresses.

(1)

(1)

Structures de données (Informatique) -- Congrès.

(1)

Sémantique -- Congrès.

(1)

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

(1)

Uncertainty (Information theory)

(1)

Uncertainty (Information theory) -- Congresses.

(1)

Library

Başkent Library

Shelf Location

Elsevier E-Book Collections

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

Switch to Cooliris view

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

17 Results Found

Subscribe to search results

1 2

Email Address:

Phone Number:

Mobile Carrier:

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

Standard text messaging rates apply.

000000000000DEFAULT

Print

Select a list

Make this your default list.

The following items were successfully added.

There was an error while adding the following items. Please try again.

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

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

1.

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

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:

Excerpt:

Semantics / Conference on Alternative Semantics (1970 : Temple University)

Cover image for Interoperable database systems (DS-5) : proceedings of theIFIP WG2.6 Database Semantics Conference on Interoperable Database Systems (DS-5), Lorne, Victoria, Australia, 16-20 November, 1992

Interoperable database systems (DS-5) : proceedings of theIFIP WG2.6 Database Semantics Conference on Interoperable Database Systems (DS-5), Lorne, Victoria, Australia, 16-20 November, 1992

2.

Interoperable database systems (DS-5) : proceedings of theIFIP WG2.6 Database Semantics Conference on Interoperable Database Systems (DS-5), Lorne, Victoria, Australia, 16-20 November, 1992

by

IFIP WG2.6 Database Semantics Conference on Interoperable Database Systems (DS-5) (1992 : Lorne, Vic.)

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

Format:

Excerpt:

Interoperable database systems (DS-5) : proceedings of theIFIP WG2.6 Database Semantics Conference

Cover image for Foundations of genetic algorithms 6

Foundations of genetic algorithms 6

3.

Foundations of genetic algorithms 6

by

Martin, W. N. (Worthy N.)

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

Format:

Excerpt:

COMPUTERS -- Intelligence (AI) & Semantics.

Cover image for Modern information processing : from theory to applications

Modern information processing : from theory to applications

4.

Modern information processing : from theory to applications

by

International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (2004 : Perugia, Italy)

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

Format:

Excerpt:

COMPUTERS -- Intelligence (AI) & Semantics.

Cover image for Systems and human science, for safety, security, and dependability : seleced papers of the 1st International Symposium SSR2003, Osaka, Japan, November 2003

Systems and human science, for safety, security, and dependability : seleced papers of the 1st International Symposium SSR2003, Osaka, Japan, November 2003

5.

Systems and human science, for safety, security, and dependability : seleced papers of the 1st International Symposium SSR2003, Osaka, Japan, November 2003

by

International Symposium on Systems and Human Science (1st : 2003 : Osaka University)

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

Format:

Excerpt:

COMPUTERS -- Intelligence (AI) & Semantics.

Cover image for 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

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

6.

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:

Excerpt:

Description Language Semantics; Hardware Verification Methodologies; Simulation in Higher Order Logic

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

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

7.

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:

Excerpt:

, Recursion Theory, Model Theory, Logic for Computer Science and Semantics of Natural Languages.

Cover image for Knowledge and language

Knowledge and language

8.

Knowledge and language

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:

Excerpt:

1 SEMANTICS AND CONCEPTS; Chapter 1 On Naming Things: Remarks on the Relation between Logic and

Cover image for 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

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

9.

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

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:

Excerpt:

. Abstract Calculi and Denotational Semantics; 3. Theory of Machines, Computations and Languages; 4

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

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

10.

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

by

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

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

Format:

Excerpt:

Chapter 16 Problems and solutions in semantics of quantified relevant logics IChapter 17 A

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

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

11.

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:

Excerpt:

The simple theory of types; Chapter 8 Set-theoretic semantics

Cover image for Proceedings of the Thirtieth International Conference on Very Large Data Bases : Toronto, Canada, August 31-September 3, 2004

Proceedings of the Thirtieth International Conference on Very Large Data Bases : Toronto, Canada, August 31-September 3, 2004

12.

Proceedings of the Thirtieth International Conference on Very Large Data Bases : Toronto, Canada, August 31-September 3, 2004

by

International Conference on Very Large Data Bases (30th : 2004 : Toronto, Ont.)

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

Format:

Excerpt:

, Semantics and Statistics; PART II: TEN YEAR BEST PAPER AWARD; Chapter 3. Whither Data Mining?; PART III

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2

Search Results Electronic Resources

Search Results Electronic Resources

Email Address:

Phone Number:

Mobile Carrier:

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

Standard text messaging rates apply.

Electronic Resources

Fetching Results for Electronic Resources...

Copyright 2014 SirsiDynix - Enterprise Version 4.3 (32169)