Search Results for Semantics. - Narrowed by: Elsevier E-Book Collections

Neuromimetic semantics : coordination, quantification, and collective predicates

2026-09-30T10:31:22Z

by Howard, Harry (Harry duBignon)
ScienceDirect http://www.sciencedirect.com/science/book/9780444502087
Format: Electronic Resources

The lambda calculus : its syntax and semantics

2026-09-30T10:31:22Z

by Barendregt, H. P. (Hendrik Pieter)
ScienceDirect http://www.sciencedirect.com/science/book/9780444875082 ScienceDirect http://www.sciencedirect.com/science/bookseries/0049237X/103
Format: Electronic Resources

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

2026-09-30T10:31:22Z

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: Electronic Resources

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

2026-09-30T10:31:22Z

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: Electronic Resources

Semantics in business systems : the savvy manager's guide : the discipline underlying web services, business rules, and the Semantic Web

2026-09-30T10:31:22Z

by McComb, Dave.
ScienceDirect https://www.sciencedirect.com/science/book/9781558609174
Format: Electronic Resources

Intensional and higher-order modal logic : with applications to Montague semantics

2026-09-30T10:31:22Z

by Gallin, Daniel.
ScienceDirect http://www.sciencedirect.com/science/book/9780444110022 ScienceDirect http://www.sciencedirect.com/science/publication?issn=03040208&volume=19
Format: Electronic Resources

The folk classification of ceramics : a study of cognitive prototypes

2026-09-30T10:31:22Z

by Kempton, Willett.
ScienceDirect http://www.sciencedirect.com/science/book/9780124040809
Format: Electronic Resources

Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel

2026-09-30T10:31:22Z

by Mostowski, Andrzej.
ScienceDirect http://www.sciencedirect.com/science/book/9780444533753
Format: Electronic Resources

Words, meanings, and messages : theory and experiments in psycholinguistics

2026-09-30T10:31:22Z

by Rommetveit, Ragnar.
ScienceDirect https://www.sciencedirect.com/science/book/9781483229447
Format: Electronic Resources

Associative networks : representation and use of knowledge by computers

2026-09-30T10:31:22Z

by Findler, N. V.
ScienceDirect http://www.sciencedirect.com/science/book/9780122563805
Format: Electronic Resources

The logical systems of Lesniewski.

2026-09-30T10:31:22Z

by Luschei, Eugene C.
ScienceDirect http://www.sciencedirect.com/science/book/9780444533951 ScienceDirect https://www.sciencedirect.com/science/publication?issn=0049237X&volume=30
Format: Electronic Resources

.Net mobile web developer's guide

2026-09-30T10:31:22Z

by Milroy, Steve.
ScienceDirect http://www.sciencedirect.com/science/book/9781928994565
Format: Electronic Resources

Microsoft data mining : integrated business intelligence for e-Commerce and knowledge management

2026-09-30T10:31:22Z

by De Ville, Barry.
ScienceDirect https://www.sciencedirect.com/science/book/9781555582425
Format: Electronic Resources

Artificial Intelligence : a new synthesis

2026-09-30T10:31:22Z

by Nilsson, Nils J., 1933-2019.
ScienceDirect https://www.sciencedirect.com/science/book/9781558604674
Format: Electronic Resources

Principles of semantic networks : explorations in the representation of knowledge

2026-09-30T10:31:22Z

by Borgida, Alexander.
ScienceDirect https://www.sciencedirect.com/science/book/9781483207711
Format: Electronic Resources

Semantic web for the working ontologist : modeling in RDF, RDFS and OWL

2026-09-30T10:31:22Z

by Allemang, Dean.
ScienceDirect http://www.sciencedirect.com/science/book/9780123735560
Format: Electronic Resources

Mobile agents : basic concepts, mobility models, and the Tracy toolkit

2026-09-30T10:31:22Z

by Braun, Peter, Dr.
ScienceDirect https://www.sciencedirect.com/science/book/9781558608177
Format: Electronic Resources

Coherent systems

2026-09-30T10:31:22Z

by Schlechta, Karl.
ScienceDirect https://www.sciencedirect.com/science/book/9780444517890 ScienceDirect https://www.sciencedirect.com/science/publication?issn=15702464&volume=2 ScienceDirect https://www.sciencedirect.com/science/bookseries/15702464/2
Format: Electronic Resources

Business modeling and data mining

2026-09-30T10:31:22Z

by Pyle, Dorian.
ScienceDirect https://www.sciencedirect.com/science/book/9781558606531
Format: Electronic Resources

Swarm intelligence

2026-09-30T10:31:22Z

by Kennedy, James F.
ScienceDirect http://www.sciencedirect.com/science/book/9781558605954
Format: Electronic Resources

Illustrating evolutionary computation with Mathematica

2026-09-30T10:31:22Z

by Jacob, Christian.
ScienceDirect http://www.sciencedirect.com/science/book/9781558606371
Format: Electronic Resources

Artificial intelligence

2026-09-30T10:31:22Z

by Boden, Margaret A.
ScienceDirect http://www.sciencedirect.com/science/book/9780121619640
Format: Electronic Resources

Montague grammar

2026-09-30T10:31:22Z

by Partee, Barbara Hall.
ScienceDirect https://www.sciencedirect.com/science/book/9780125458504
Format: Electronic Resources

Handbook of logic and language

2026-09-30T10:31:22Z

by Benthem, Johan van, 1949-
ScienceDirect http://www.sciencedirect.com/science/book/9780444537263
Format: Electronic Resources

Cognitive systems : information processing meets brain science

2026-09-30T10:31:22Z

by Morris, R. G. M. (Richard G. M.)
ScienceDirect https://www.sciencedirect.com/science/book/9780120885664
Format: Electronic Resources

Blondie24 : playing at the edge of AI

2026-09-30T10:31:22Z

by Fogel, David B.
ScienceDirect http://www.sciencedirect.com/science/book/9781558607835
Format: Electronic Resources

Foundations of genetic algorithms 6

2026-09-30T10:31:22Z

by Martin, W. N. (Worthy N.)
ScienceDirect http://www.sciencedirect.com/science/book/9781558607347 ScienceDirect https://www.sciencedirect.com/science/book/9781558607347
Format: Electronic Resources

Soft computing and intelligent systems : theory and applications

2026-09-30T10:31:22Z

by Sinha, N. K. (Naresh Kumar), 1927-
ScienceDirect http://www.sciencedirect.com/science/book/9780126464900 ScienceDirect https://www.sciencedirect.com/science/book/9780126464900
Format: Electronic Resources

Handbook of logic and language

2026-09-30T10:31:22Z

by Benthem, Johan van, 1949-
Available from ScienceDirect. Online version available for university members only. This requires an institutional login off-campus ScienceDirect https://www.sciencedirect.com/science/book/9780444817143
Format: Electronic Resources

Mathematical approaches to neural networks

2026-09-30T10:31:22Z

by Taylor, J. G. (John Gerald), 1931-2012.
Available from ScienceDirect. Online version available for university members only. This requires an institutional login off-campus. ScienceDirect http://www.sciencedirect.com/science/book/9780444816924 ScienceDirect http://www.sciencedirect.com/science/publication?issn=09246509&volume=51 ScienceDirect https://www.sciencedirect.com/science/book/9780444816924
Format: Electronic Resources

Understanding word and sentence

2026-09-30T10:31:22Z

by Simpson, Gregory B.
ScienceDirect https://www.sciencedirect.com/science/book/9780444884879 ScienceDirect https://www.sciencedirect.com/science/bookseries/01664115/77 ScienceDirect https://www.sciencedirect.com/science/publication?issn=01664115&volume=77
Format: Electronic Resources

Problem solving : methods, programming, and future concepts

2026-09-30T10:31:22Z

by German, O. V. (Oleg Vitolʹdovich)
ScienceDirect http://www.sciencedirect.com/science/book/9780444822260 ScienceDirect http://www.sciencedirect.com/science/bookseries/09243542/12
Format: Electronic Resources

Lexical ambiguity resolution : perspectives from psycholinguistics, neuropsychology, and artificial intelligence

2026-09-30T10:31:22Z

by Adriaens, Geert.
ScienceDirect https://www.sciencedirect.com/science/book/9780080510132
Format: Electronic Resources

Modern information processing : from theory to applications

2026-09-30T10:31:22Z

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: Electronic Resources

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

2026-09-30T10:31:22Z

by International Symposium on Systems and Human Science (1st : 2003 : Osaka University)
ScienceDirect http://www.sciencedirect.com/science/book/9780444518132
Format: Electronic Resources

Readings in artificial intelligence and databases

2026-09-30T10:31:22Z

by Mylopoulos, John.
ScienceDirect https://www.sciencedirect.com/science/book/9780934613538
Format: Electronic Resources

A transfinite type theory with type variables

2026-09-30T10:31:22Z

by Andrews, P. B. (Peter Bruce), 1937-
ScienceDirect http://www.sciencedirect.com/science/book/9780444534026 ScienceDirect https://www.sciencedirect.com/science/publication?issn=0049237X&volume=37
Format: Electronic Resources

Thinking computers and virtual persons : essays on the intentionality of machines

2026-09-30T10:31:22Z

by Dietrich, Eric.
ScienceDirect http://www.sciencedirect.com/science/book/9780122154959
Format: Electronic Resources

A Comparative study of parallel programming languages : the Salishan problems

2026-09-30T10:31:22Z

by Feo, John T., 1955-
ScienceDirect http://www.sciencedirect.com/science/book/9780444881359
Format: Electronic Resources

Logic Colloquium '84 : proceedings of the colloquium held in Manchester, U.K., July 1984

2026-09-30T10:31:22Z

by Logic Colloquium '84 (1984 : Manchester)
ScienceDirect https://www.sciencedirect.com/science/book/9780444879998 ScienceDirect https://www.sciencedirect.com/science/publication?issn=0049237X&volume=120 ScienceDirect https://www.sciencedirect.com/science/bookseries/0049237X/120
Format: Electronic Resources

Language, cognitive deficits, and retardation

2026-09-30T10:31:22Z

by O'Connor, Neil.
ScienceDirect https://www.sciencedirect.com/science/book/9780407000070
Format: Electronic Resources

The psychology of learning and motivation : advances in research and theory. Volume 8

2026-09-30T10:31:22Z

by Bower, Gordon H.
to access electronic resource ScienceDirect http://www.sciencedirect.com/science/book/9780125433082
Format: Electronic Resources

Cognitive development and the acquisition of language

2026-09-30T10:31:22Z

by Moore, Timothy E., editor.
ScienceDirect https://www.sciencedirect.com/science/book/9780125058506
Format: Electronic Resources

Intuitionistic logic, model theory and forcing.

2026-09-30T10:31:22Z

by Fitting, Melvin, 1942-
ScienceDirect https://www.sciencedirect.com/science/book/9780444534187 ScienceDirect https://www.sciencedirect.com/science/bookseries/0049237X/54 ScienceDirect https://www.sciencedirect.com/science/publication?issn=0049237X&volume=54
Format: Electronic Resources

A study in the philosophy of science

2026-09-30T10:31:22Z

by Beth, Evert Willem.
ScienceDirect http://www.sciencedirect.com/science/book/9780444533906
Format: Electronic Resources

Handbook of categorization in cognitive science

2026-09-30T10:31:22Z

by Cohen, Henri, 1945-
ScienceDirect https://www.sciencedirect.com/science/book/9780080446127
Format: Electronic Resources

Bioinformatics : managing scientific data

2026-09-30T10:31:22Z

by Lacroix, Zoé.
ScienceDirect http://www.sciencedirect.com/science/book/9781558608290 ScienceDirect https://www.sciencedirect.com/science/book/9781558608290
Format: Electronic Resources

Ruby developer's guide

2026-09-30T10:31:22Z

by Feldt, Robert.
ScienceDirect https://www.sciencedirect.com/science/book/9781928994640
Format: Electronic Resources

Exploratory image databases : content-based retrieval

2026-09-30T10:31:22Z

by Santini, Simone.
ScienceDirect http://www.sciencedirect.com/science/book/9780126192612
Format: Electronic Resources

Language functions and brain organization

2026-09-30T10:31:22Z

by Segalowitz, Sidney J.
ScienceDirect http://www.sciencedirect.com/science/book/9780126356403
Format: Electronic Resources

Quantification in nonclassical logic

2026-09-30T10:31:22Z

by Gabbay, Dov M., 1945-
MacEwan University Access (Unlimited Concurrent Users) from ScienceDirect ScienceDirect http://www.sciencedirect.com/science/book/9780444520128 ScienceDirect http://www.sciencedirect.com/science/bookseries/0049237X/153
Format: Electronic Resources

System assurance : beyond detecting vulnerabilities

2026-09-30T10:31:22Z

by Mansourov, Nikolai.
ScienceDirect https://www.sciencedirect.com/science/book/9780123814142
Format: Electronic Resources

Logic from Russell to Church.

2026-09-30T10:31:22Z

by Gabbay, Dov M., 1945-
MacEwan University Access (Unlimited Concurrent Users) from ScienceDirect ScienceDirect http://www.sciencedirect.com/science/book/9780444516206
Format: Electronic Resources

Business metadata : capturing enterprise knowledge

2026-09-30T10:31:22Z

by Inmon, William H.
ScienceDirect https://www.sciencedirect.com/science/book/9780123737267
Format: Electronic Resources

Handbook of the history of logic. Volume 2, Mediaeval and renaissance logic

2026-09-30T10:31:22Z

by Gabbay, Dov M., 1945-
ScienceDirect https://www.sciencedirect.com/science/book/9780444516251 ScienceDirect https://www.sciencedirect.com/science/publication?issn=18745857&volume=2 ScienceDirect https://www.sciencedirect.com/science/handbooks/18745857/2
Format: Electronic Resources

Memory evolutive systems : hierarchy, emergence, cognition.

2026-09-30T10:31:22Z

by Charles Ehresmann, Andrée.
ScienceDirect https://www.sciencedirect.com/science/book/9780444522443 ScienceDirect https://www.sciencedirect.com/science/publication?issn=15710831&volume=4 ScienceDirect https://www.sciencedirect.com/science/bookseries/15710831/4
Format: Electronic Resources

Logic and the modalities in the twentieth century

2026-09-30T10:31:22Z

by Gabbay, Dov M., 1945-
ScienceDirect http://www.sciencedirect.com/science/book/9780444516220 ScienceDirect http://www.sciencedirect.com/science/publication?issn=18745857&volume=7
Format: Electronic Resources

Data model patterns : a metadata map

2026-09-30T10:31:22Z

by Hay, David C., 1947-
ScienceDirect http://www.sciencedirect.com/science/book/9780120887989
Format: Electronic Resources

Human brain function

2026-09-30T10:31:22Z

by Frackowiak, Richard S. J.
ScienceDirect https://www.sciencedirect.com/science/book/9780122648410
Format: Electronic Resources

System architecture with XML

2026-09-30T10:31:22Z

by Daum, Berthold, 1949-
ScienceDirect http://www.sciencedirect.com/science/book/9781558607453
Format: Electronic Resources

Design methods for reactive systems : Yourdan, Statemate, and the UML

2026-09-30T10:31:22Z

by Wieringa, Roel.
ScienceDirect https://www.sciencedirect.com/science/book/9781558607552
Format: Electronic Resources

Rudiments of [mu]-calculus

2026-09-30T10:31:22Z

by Arnold, A. (André), 1945-
ScienceDirect https://www.sciencedirect.com/science/book/9780444506207 ScienceDirect https://www.sciencedirect.com/science/publication?issn=0049237X&volume=146 ScienceDirect https://www.sciencedirect.com/science/bookseries/0049237X/146
Format: Electronic Resources

Logical frameworks for truth and abstraction : an axiomatic study

2026-09-30T10:31:22Z

by Cantini, Andrea.
ScienceDirect http://www.sciencedirect.com/science/book/9780444823069 ScienceDirect http://www.sciencedirect.com/science/publication?issn=0049237X&volume=135 ScienceDirect http://www.sciencedirect.com/science/bookseries/0049237X/135
Format: Electronic Resources

Artificial intelligence techniques in Prolog

2026-09-30T10:31:22Z

by Shoham, Yoav.
ScienceDirect http://www.sciencedirect.com/science/book/9781483214498
Format: Electronic Resources

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-09-30T10:31:22Z

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: Electronic Resources

Recursive functionals

2026-09-30T10:31:22Z

by Sanchis, Luis E.
ScienceDirect http://www.sciencedirect.com/science/book/9780444894472 ScienceDirect http://www.sciencedirect.com/science/publication?issn=0049237X&volume=131
Format: Electronic Resources

Language in action : categories, lambdas, and dynamic logic

2026-09-30T10:31:22Z

by Benthem, Johan van, 1949-
ScienceDirect https://www.sciencedirect.com/science/book/9780444890009 ScienceDirect https://www.sciencedirect.com/science/bookseries/0049237X/130
Format: Electronic Resources

Psychology of programming

2026-09-30T10:31:22Z

by Hoc, Jean-Michel.
ScienceDirect http://www.sciencedirect.com/science/book/9780123507723 ScienceDirect https://www.sciencedirect.com/science/book/9780123507723
Format: Electronic Resources

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

2026-09-30T10:31:22Z

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: Electronic Resources

Language processing in social context

2026-09-30T10:31:22Z

by Dietrich, Rainer.
ScienceDirect http://www.sciencedirect.com/science/book/9780444871442
Format: Electronic Resources

Constructivism in mathematics : an introduction. Volume 1

2026-09-30T10:31:22Z

by Troelstra, A. S. (Anne Sjerp)
ScienceDirect http://www.sciencedirect.com/science/book/9780444702661
Format: Electronic Resources

Knowledge and language

2026-09-30T10:31:22Z

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: Electronic Resources

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-09-30T10:31:22Z

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: Electronic Resources

Computability, complexity, and languages : fundamentals of theoretical computer science

2026-09-30T10:31:22Z

by Davis, Martin, 1928-
ScienceDirect http://www.sciencedirect.com/science/book/9780122063800
Format: Electronic Resources

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

2026-09-30T10:31:22Z

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

Advances in computers. Volume 17

2026-09-30T10:31:22Z

by Yovits, M. C. (Marshall Clinton)
ScienceDirect https://www.sciencedirect.com/science/book/9780120121175 ScienceDirect https://www.sciencedirect.com/science/bookseries/00652458/17
Format: Electronic Resources

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

2026-09-30T10:31:22Z

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

Advances in computers. Volume13

2026-09-30T10:31:22Z

by Rubinoff, Morris.
ScienceDirect https://www.sciencedirect.com/science/book/9780120121137 ScienceDirect https://www.sciencedirect.com/science/bookseries/00652458/13 ScienceDirect http://www.sciencedirect.com/science/book/9780120121137
Format: Electronic Resources

Advances in computers. Volume 76, Social networking and the web

2026-09-30T10:31:22Z

by Zelkowitz, Marvin V., 1945-
to access electronic resource ScienceDirect http://www.sciencedirect.com/science/book/9780123748119 ScienceDirect http://www.sciencedirect.com/science/bookseries/00652458 https://www.sciencedirect.com/science/bookseries/00652458/76
Format: Electronic Resources

Reviving the living : meaning making in living systems

2026-09-30T10:31:22Z

by Neuman, Yair, 1968-
MacEwan University Access (Unlimited Concurrent Users) from ScienceDirect ScienceDirect http://www.sciencedirect.com/science/book/9780444530332
Format: Electronic Resources

Philosophy of logic

2026-09-30T10:31:22Z

by Jacquette, Dale.
ScienceDirect http://www.sciencedirect.com/science/book/9780444515414
Format: Electronic Resources

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

2026-09-30T10:31:22Z

by International Conference on Very Large Data Bases (30th : 2004 : Toronto, Ont.)
ScienceDirect https://www.sciencedirect.com/science/book/9780120884698
Format: Electronic Resources

The system designer's guide to VHDL-AMS : analog, mixed-signal, and mixed-technology modeling

2026-09-30T10:31:22Z

by Ashenden, Peter J.
ScienceDirect http://www.sciencedirect.com/science/book/9781558607491
Format: Electronic Resources

Handbook of process algebra

2026-09-30T10:31:22Z

by Bergstra, J. A.
ScienceDirect https://www.sciencedirect.com/science/book/9780444828309
Format: Electronic Resources

The psychology of learning and motivation : advances in research and theory. Volume 32, Decision making from a cognitive perspective

2026-09-30T10:31:22Z

by Busemeyer, Jerome R.
to access electronic resource ScienceDirect http://www.sciencedirect.com/science/book/9780125433327
Format: Electronic Resources

Advances in computers. Volume 41

2026-09-30T10:31:22Z

by Zelkowitz, Marvin V., 1945-
ScienceDirect https://www.sciencedirect.com/science/book/9780120121410 ScienceDirect https://www.sciencedirect.com/science/bookseries/00652458/41
Format: Electronic Resources

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

2026-09-30T10:31:22Z

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

Current issues in mathematical linguistics

2026-09-30T10:31:22Z

by Martín-Vide, Carlos.
ScienceDirect http://www.sciencedirect.com/science/book/9780444816931
Format: Electronic Resources

Protocol specification, testing, and verification, XII : proceedings of the IFIP TC6 WG 6.1, twelfth International Symposium on Protocol Specification, Testing, and Verification, Lake Buena Vista, Florida, U.S.A., 22-25 June, 1992

2026-09-30T10:31:22Z

by IFIP TC6 WG 6.1 International Symposium on Protocol Specification, Testing, and Verification 12th (1992nd : Lake Buena Vista, Florida)
ScienceDirect https://www.sciencedirect.com/science/book/9780444898746
Format: Electronic Resources

Artificial intelligence planning systems : proceedings of the first international conference, June 15-17, 1992, College Park, Maryland

2026-09-30T10:31:22Z

by Hendler, James A.
ScienceDirect https://www.sciencedirect.com/science/book/9780080499444
Format: Electronic Resources

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

2026-09-30T10:31:22Z

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

Readings in artificial intelligence and software engineering

2026-09-30T10:31:22Z

by Rich, Charles, 1951-
ScienceDirect http://www.sciencedirect.com/science/book/9780934613125
Format: Electronic Resources

A new approach to scientific computation

2026-09-30T10:31:22Z

by Symposium on a New Approach to Scientific Computation (1982 : IBM Thomas J. Watson Research Center)
ScienceDirect http://www.sciencedirect.com/science/book/9780124286603
Format: Electronic Resources

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

2026-09-30T10:31:22Z

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: Electronic Resources

The socio-political complex : an interdisciplinary approach to political life

2026-09-30T10:31:22Z

by Khoshkish, A.
ScienceDirect https://www.sciencedirect.com/science/book/9780080233918
Format: Electronic Resources

Genie : a psycholinguistic study of a modern-day "wild child"

2026-09-30T10:31:22Z

by Curtiss, Susan.
ScienceDirect https://www.sciencedirect.com/science/book/9780121963507
Format: Electronic Resources

Algebraic methods of mathematical logic

2026-09-30T10:31:22Z

by Rieger, Ladislav, 1916-1963.
ScienceDirect http://www.sciencedirect.com/science/book/9781483231235
Format: Electronic Resources

Product experience

2026-09-30T10:31:22Z

by Schifferstein, H. (Hendrik), 1964-
ScienceDirect http://www.sciencedirect.com/science/book/9780080450896
Format: Electronic Resources

Handbook of network and system administration

2026-09-30T10:31:22Z

by Bergstra, J. A.
ScienceDirect http://www.sciencedirect.com/science/book/9780444521989
Format: Electronic Resources

Embedded computing : a VLIW approach to architecture, compilers and tools

2026-09-30T10:31:22Z

by Fisher, Joseph A.
ScienceDirect http://www.sciencedirect.com/science/book/9781558607668
Format: Electronic Resources

The grid : blueprint for a new computing infrastructure

2026-09-30T10:31:22Z

by Foster, Ian, 1959-
ScienceDirect http://www.sciencedirect.com/science/book/9781558609334
Format: Electronic Resources

Mental models in discourse processing and reasoning

2026-09-30T10:31:22Z

by Rickheit, Gert.
ScienceDirect http://www.sciencedirect.com/science/book/9780444502742 ScienceDirect http://www.sciencedirect.com/science/publication?issn=01664115&volume=128
Format: Electronic Resources

Information modeling and relational databases

2026-09-30T10:31:22Z

by Halpin, T. A.
ScienceDirect http://www.sciencedirect.com/science/book/9780123735683
Format: Electronic Resources

Fuzzy logic and the semantic web

2026-09-30T10:31:22Z

by Sanchez, Elie, 1944-
ScienceDirect http://www.sciencedirect.com/science/book/9780444519481 ScienceDirect http://www.sciencedirect.com/science/bookseries/15749576/1
Format: Electronic Resources