Clear Search

Books+ Search Results

Subject with Hierarchy: Is
Is Is Not
Logic programming

Advanced Search

Basic Search
Help
Add a row
Reset

Limit results by

Show Online Results Only
Online Results (102)
1.
Chatbot Research and Design 7th International Workshop, CONVERSATIONS 2023, Oslo, Norway, November 22-23, 2023, Revised Selected Papers
Published
Cham : Springer Nature Switzerland : Imprint: Springer, 2024.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
2.
Dynamic Logic. New Trends and Applications 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15-16, 2023, Revised Selected Papers
Published
Cham : Springer Nature Switzerland : Imprint: Springer, 2024.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
3.
Foundations of Information and Knowledge Systems 13th International Symposium, FoIKS 2024, Sheffield, UK, April 8-11, 2024, Proceedings
Published
Cham : Springer Nature Switzerland : Imprint: Springer, 2024.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
4.
Human and Artificial Rationalities Second International Conference, HAR 2023, Paris, France, September 19-22, 2023, Proceedings
Published
Cham : Springer Nature Switzerland : Imprint: Springer, 2024.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
5.
R-Calculus, V: Description Logics
Author
Li, Wei
Published
Singapore : Springer Nature Singapore : Imprint: Springer, 2024.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
6.
Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part I
Published
Cham : Springer Nature Switzerland : Imprint: Springer, 2024.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
7.
Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part II
Published
Cham : Springer Nature Switzerland : Imprint: Springer, 2024.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
8.
Chatbot Research and Design 6th International Workshop, CONVERSATIONS 2022, Amsterdam, The Netherlands, November 22-23, 2022, Revised Selected Papers
Published
Cham : Springer International Publishing : Imprint: Springer, 2023.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
9.
Developments in Language Theory 27th International Conference, DLT 2023, Umeå, Sweden, June 12-16, 2023, Proceedings
Published
Cham : Springer Nature Switzerland : Imprint: Springer, 2023.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
10.
Dynamic Logic. New Trends and Applications 4th International Workshop, DaLí 2022, Haifa, Israel, July 31-August 1, 2022, Revised Selected Papers
Published
Cham : Springer International Publishing : Imprint: Springer, 2023.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
11.
Dynamics in Logic and Language Third Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2022, Virtual Event, April 1-4, 2022, Revised Selected Papers
Published
Cham : Springer International Publishing : Imprint: Springer, 2023.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
12.
Formal Methods Teaching 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings
Published
Cham : Springer Nature Switzerland : Imprint: Springer, 2023.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
13.
Formal Modeling and Analysis of Timed Systems 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023, Proceedings
Published
Cham : Springer Nature Switzerland : Imprint: Springer, 2023.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
14.
Logic and Its Applications 10th Indian Conference, ICLA 2023, Indore, India, March 3-5, 2023, Proceedings
Published
Cham : Springer Nature Switzerland : Imprint: Springer, 2023.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
15.
Practical Aspects of Declarative Languages 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023, Proceedings
Published
Cham : Springer Nature Switzerland : Imprint: Springer, 2023.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
16.
Predicting the Unknown The History and Future of Data Science and Artificial Intelligence
Author
Kampakis, Stylianos
Published
Berkeley, CA : Apress : Imprint: Apress, 2023.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
17.
R-Calculus, IV: Propositional Logic
Author
Li, Wei
Published
Singapore : Springer Nature Singapore : Imprint: Springer, 2023.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
18.
Reachability Problems 17th International Conference, RP 2023, Nice, France, October 11-13, 2023, Proceedings
Published
Cham : Springer Nature Switzerland : Imprint: Springer, 2023.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
19.
Relational and Algebraic Methods in Computer Science 20th International Conference, RAMiCS 2023, Augsburg, Germany, April 3-6, 2023, Proceedings
Published
Cham : Springer International Publishing : Imprint: Springer, 2023.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
20.
Rules and Reasoning 7th International Joint Conference, RuleML+RR 2023, Oslo, Norway, September 18-20, 2023, Proceedings
Published
Cham : Springer Nature Switzerland : Imprint: Springer, 2023.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
21.
Software Engineering and Formal Methods 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings
Published
Cham : Springer Nature Switzerland : Imprint: Springer, 2023.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
22.
Verification, Model Checking, and Abstract Interpretation 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023, Proceedings
Published
Cham : Springer Nature Switzerland : Imprint: Springer, 2023.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
23.
Verified Software. Theories, Tools and Experiments. 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers
Published
Cham : Springer International Publishing : Imprint: Springer, 2023.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
24.
Coalgebraic Methods in Computer Science 16th IFIP WG 1.3 International Workshop, CMCS 2022, Colocated with ETAPS 2022, Munich, Germany, April 2-3, 2022, Proceedings
Published
Cham : Springer International Publishing : Imprint: Springer, 2022.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
25.
Developments in Language Theory 26th International Conference, DLT 2022, Tampa, FL, USA, May 9-13, 2022, Proceedings
Published
Cham : Springer International Publishing : Imprint: Springer, 2022.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
26.
Five-Layer Intelligence of the Machine Brain System Modelling and Simulation
Author
Wang, Wen-Feng
Published
Singapore : Springer Singapore : Imprint: Springer, 2022.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
27.
Formal Methods: Foundations and Applications 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6-9, 2022, Proceedings
Published
Cham : Springer International Publishing : Imprint: Springer, 2022.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
28.
Formal Modeling and Analysis of Timed Systems 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13-15, 2022, Proceedings
Published
Cham : Springer International Publishing : Imprint: Springer, 2022.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
29.
Foundations of Information and Knowledge Systems 12th International Symposium, FoIKS 2022, Helsinki, Finland, June 20-23, 2022, Proceedings
Published
Cham : Springer International Publishing : Imprint: Springer, 2022.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
30.
Implementation and Application of Automata 26th International Conference, CIAA 2022, Rouen, France, June 28 - July 1, 2022, Proceedings
Published
Cham : Springer International Publishing : Imprint: Springer, 2022.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
31.
Introducing Robotic Process Automation to Your Organization A Guide for Business Leaders
Author
Fantina, Robert
Published
Berkeley, CA : Apress : Imprint: Apress, 2022.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
32.
A Journey from Process Algebra via Timed Automata to Model Learning Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday
Published
Cham : Springer Nature Switzerland : Imprint: Springer, 2022.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
33.
Language, Logic, and Computation 13th International Tbilisi Symposium, TbiLLC 2019, Batumi, Georgia, September 16-20, 2019, Revised Selected Papers
Published
Cham : Springer International Publishing : Imprint: Springer, 2022.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
34.
New Developments in Legal Reasoning and Logic From Ancient Law to Modern Legal Systems
Published
Cham : Springer International Publishing : Imprint: Springer, 2022.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
35.
Prolog
Author
Tate, Bruce, 1965-
Published
[Raleigh, North Carolina] : Pragmatic Bookshelf, [2022]
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
36.
R-Calculus, III: Post Three-Valued Logic
Author
Li, Wei
Published
Singapore : Springer Nature Singapore : Imprint: Springer, 2022.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
37.
R-Calculus, II: Many-Valued Logics
Author
Li, Wei
Published
Singapore : Springer Nature Singapore : Imprint: Springer, 2022.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
38.
Reachability Problems 16th International Conference, RP 2022, Kaiserslautern, Germany, October 17-21, 2022, Proceedings
Published
Cham : Springer International Publishing : Imprint: Springer, 2022.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
39.
Rules and Reasoning 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26-28, 2022, Proceedings
Published
Cham : Springer International Publishing : Imprint: Springer, 2022.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
40.
Software Engineering and Formal Methods 20th International Conference, SEFM 2022, Berlin, Germany, September 26-30, 2022, Proceedings
Published
Cham : Springer International Publishing : Imprint: Springer, 2022.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
41.
Theoretical Aspects of Software Engineering 16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8-10, 2022, Proceedings
Published
Cham : Springer International Publishing : Imprint: Springer, 2022.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
42.
Visual Question Answering From Theory to Application
Author
Wu, Qi
Published
Singapore : Springer Nature Singapore : Imprint: Springer, 2022.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
43.
Developments in Language Theory 25th International Conference, DLT 2021, Porto, Portugal, August 16-20, 2021, Proceedings
Published
Cham : Springer International Publishing : Imprint: Springer, 2021.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
44.
Implementation and Application of Automata 25th International Conference, CIAA 2021, Virtual Event, July 19-22, 2021, Proceedings
Published
Cham : Springer International Publishing : Imprint: Springer, 2021.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
45.
Rigorous State-Based Methods 8th International Conference, ABZ 2021, Ulm, Germany, June 9-11, 2021, Proceedings
Published
Cham : Springer International Publishing : Imprint: Springer, 2021.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
46.
Theory and Applications of Satisfiability Testing - SAT 2021 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings
Published
Cham : Springer International Publishing : Imprint: Springer, 2021.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
47.
Coalgebraic Methods in Computer Science 15th IFIP WG 1.3 International Workshop, CMCS 2020, Colocated with ETAPS 2020, Dublin, Ireland, April 25-26, 2020, Proceedings
Published
Cham : Springer International Publishing : Imprint: Springer, 2020.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
48.
Computational Complexity and Property Testing On the Interplay Between Randomness and Computation
Published
Cham : Springer International Publishing : Imprint: Springer, 2020.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
49.
Developments in Language Theory 24th International Conference, DLT 2020, Tampa, FL, USA, May 11-15, 2020, Proceedings
Published
Cham : Springer International Publishing : Imprint: Springer, 2020.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
50.
Dynamic Logic. New Trends and Applications Second International Workshop, DaLí 2019, Porto, Portugal, October 7-11, 2019, Proceedings
Published
Cham : Springer International Publishing : Imprint: Springer, 2020.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
51.
Monotonicity in Logic and Language Second Tsinghua Interdisciplinary Workshop on Logic, Language and Meaning, TLLM 2020, Beijing, China, December 17-20, 2020, Proceedings
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2020.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
52.
Neural Approaches to Dynamics of Signal Exchanges
Published
Singapore : Springer Nature Singapore : Imprint: Springer, 2020.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
53.
A Pipelined Multi-Core Machine with Operating System Support Hardware Implementation and Correctness Proof
Author
Lutsyk, Petro
Published
Cham : Springer International Publishing : Imprint: Springer, 2020.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
54.
Theory and Applications of Satisfiability Testing - SAT 2020 23rd International Conference, Alghero, Italy, July 3-10, 2020, Proceedings
Published
Cham : Springer International Publishing : Imprint: Springer, 2020.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
55.
Verification, Model Checking, and Abstract Interpretation 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020, Proceedings
Published
Cham : Springer International Publishing : Imprint: Springer, 2020.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
56.
Developments in Language Theory 23rd International Conference, DLT 2019, Warsaw, Poland, August 5-9, 2019, Proceedings
Published
Cham : Springer International Publishing : Imprint: Springer, 2019.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
57.
Formal Grammar 24th International Conference, FG 2019, Riga, Latvia, August 11, 2019, Proceedings
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2019.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
58.
Formal Methods Teaching Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings
Published
Cham : Springer International Publishing : Imprint: Springer, 2019.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
59.
Game development with Ren'Py : introduction to visual novel games using Ren'Py, TyranoBuilder, and twine
Author
Ciesla, Robert
Published
New York : Apress, [2019]
©2019.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
60.
Language and Automata Theory and Applications 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings
Published
Cham : Springer International Publishing : Imprint: Springer, 2019.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
61.
Language, Logic, and Computation 12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Papers
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2019.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
62.
Declarative logic programming : theory, systems, and applications
Author
Kifer, M. (Michael), 1954-
Published
[New York] : Association for Computing Machinery ; [San Rafael, California] : Morgan & Claypool, 2018.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
63.
Foundations of probabilistic logic programming : languages, semantics, inference and learning
Author
Riguzzi, Fabrizio
Published
Denmark : River Publishers, [2018]
2018
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
64.
An intelligent propulsion control architecture to enable more autonomous vehicle operation
Author
Litt, Jonathan S.
Published
Cleveland, Ohio : National Aeronautics and Space Administration, Glenn Research Center, March 2018.
Online
https://purl.fdlp.gov/GPO/gpo90357
Location
Yale Internet Resource >> None
Format
Books / Online
65.
Journal of logical and algebraic methods in programming
Published
Amsterdam : Elsevier Inc.,
Online
Full text
Location
Yale Internet Resource >> None
Format
Journals & Newspapers / Online
66.
Answer set solving in practice
Published
San Rafael, Calif. (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool, c2013.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
67.
Constraint handling rules
Author
Frühwirth, Thom, 1962-
Published
Cambridge, UK ; New York : Cambridge University Press, 2009.
Online
Table of contents only
Location
MARX LIBRARY, ANNEX, request for use >> QA76.612 .F77X 2009 (LC)
Format
Books
68.
Constraint logic programming using ECLiPSe
Author
Apt, Krzysztof R., 1949-
Published
Cambridge : Cambridge University Press, 2007.
Location
Library Shelving Facility (LSF) >> QA76.612 .A675X 2007 (LC)
Format
Books
69.
Functional and logic programming : 8th international symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006 : proceedings
Author
Fuji International Symposium on Functional and Logic Programming (8th : 2006 : Susono-shi, Japan)
Published
Berlin ; New York : Springer, c2006.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 3945 (LC)
Format
Books
70.
An inductive logic programming approach to statistical relational learning
Author
Kersting, Kristian
Published
Amsterdam ; Washington, D.C. : IOS Press, c2006.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
71.
Logic based program synthesis and transformation : 15th international symposium, LOPSTR 2005, London, UK, September 7-9, 2005 : revised selected papers
Author
LOPSTR 2005 (2005 : London, England)
Published
Berlin ; New York : Springer, c2006.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 3901 (LC)
Format
Books
72.
Logic for programming, artificial intelligence, and reasoning 13th international conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006 : proceedings
Author
LPAR (Conference) (2006 : Phnom Penh, Cambodia)
Published
Berlin ; New York : Springer, c2006.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
73.
Logic programming : 22nd international conference, ICLP 2006 : Seattle, WA, USA, August 17-20, 2006 : proceedings
Author
International Conference on Logic Programming (22nd : 2006 : Seattle, Wash.)
Published
Berlin ; New York : Springer, c2006.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 4079 (LC)
Format
Books
74.
Recent advances in constraints : joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005, Uppsala, Sweden, June 20-22, 2005 : revised selected and invited papers
Author
Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming (2005 : Uppsala, Sweden)
Published
Berlin ; New York : Springer, c2006.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 3978 (LC)
Format
Books
75.
Constraint solving and language processing : first international workshop, CSLP 2004, Roskilde, Denmark, September 1-3, 2004 ; revised selected and invited papers
Author
CSLP 2004 (2004 : Roskilde, Denmark)
Published
Berlin : Springer, c2005.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 3438 (LC)
Format
Books
76.
Inductive logic programming : 15th international conference, ILP 2005, Bonn, Germany, August 10-13, 2005 ; proceedings
Author
ILP (Conference) (2005 : Bonn, Germany)
Published
Berlin ; New York : Springer, c2005.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 3625 (LC)
Format
Books
77.
Logic based program synthesis and transformation : 14th international symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004 : revised selected papers
Published
Berlin : Springer, c2005.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 3573 (LC)
Format
Books
78.
Logic for programming, artificial intelligence, and reasoning : 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6 2005, proceedings
Author
LPAR (Conference) (2005 Dec : Montego Bay, Jamaica)
Published
Berlin ; Springer, c2005.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 3835 (LC)
Format
Books
79.
Logic for programming, artificial intelligence, and reasoning : 11th international conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005 : proceedings
Author
LPAR (Conference) (2005 : Montevideo, Uruguay)
Published
Berlin ; New York : Springer, c2005.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 3452 (LC)
Format
Books
80.
Logic programming and nonmonotonic reasoning : 8th international conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005 : proceedings
Author
LPNMR 2005 (2005 : Dimante, Italy)
Published
Berlin ; New York : Springer, c2005.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 3662 (LC)
Format
Books
81.
Logic programming : 21st international conference, ICLP 2005, Sitges, Spain, October 2-5, 2005 : proceedings
Author
International Conference on Logic Programming (21st : 2005 : Sitges, Spain)
Published
Berlin ; New York : Springer, c2005.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 3668 (LC)
Format
Books
82.
Logic programming : 21st international conference, ICLP 2005, Sitges, Spain, October 2-5, 2005 : proceedings
Author
International Conference on Logic Programming (21st : 2005 : Sitges, Spain)
Published
Berlin ; New York : Springer, c2005.
Online
Online book (login required)
Location
Internet Archive >> None
Format
Books
83.
Recent advances in constraints : Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004 : revised selected and invited papers
Published
Berlin ; New York : Springer, c2005.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 3419 (LC)
Format
Books
84.
Recent advances in constraints : Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004 : revised selected and invited papers
Published
Berlin ; New York : Springer, c2005.
Online
Online book (login required)
Location
Internet Archive >> None
Format
Books
85.
Arithmetic and logic in computer systems
Author
Lu, Mi
Published
Hoboken, NJ : Wiley-Interscience, ©2004.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
86.
Arithmetic and logic in computer systems
Author
Lu, Mi
Published
Hoboken, NJ : Wiley-Interscience, c2004.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
87.
Arithmetic and logic in computer systems
Author
Lu, Mi
Published
Hoboken, NJ : Wiley-Interscience, c2004.
Online
Contributor biographical information
Publisher description
Table of contents
Location
Library Shelving Facility (LSF) >> QA76.9.C62 L8X 2004 (LC)
Format
Books
88.
Arithmetic and logic in computer systems
Author
Lu, Mi
Published
Hoboken, NJ : Wiley-Interscience, c2004.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
89.
Functional and logic programming : 7th international symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004 ; proceedings
Author
FLOPS 2004 (2004 : Nara, Japan)
Published
Berlin : Springer, 2004.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 2998 (LC)
Format
Books
90.
Inductive logic programming : 14th international conference, ILP 2004, Porto, Portugal, September 6-8, 2004 : proceedings
Author
ILP (Conference) (14th : 2004 : Porto, Portugal)
Published
Berlin ; New York : Springer, 2004.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 3194 (LC)
Format
Books
91.
Inductive logic programming 14th international conference, ILP 2004, Porto, Portugal, September 6-8, 2004 : proceedings
Author
ILP (Conference) (14th : 2004 : Porto, Portugal)
Published
Berlin ; London : Springer, 2004.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
92.
Logic based program synthesis and transformation : 13th international symposium, LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003 ; revised selected papers
Author
LOPSTR 2003 (13th : 2003 : Uppsala, Sweden)
Published
Berlin ; New York : Springer, c2004.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 3018 (LC)
Format
Books
93.
Logic Programming and Nonmonotonic Reasoning : 7th International Conference, LPNMR 2004, Fort Lauderdale, Fla., January 6-8, 2004 : proceedings
Author
LPNMR 2004 (7th : 2004 : Fort Lauderdale, Fla)
Published
Berlin ; New York : Springer, c2004.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 2923 (LC)
Format
Books
94.
Logic programming : 20th international conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004 ; proceedings
Author
International Conference on Logic Programming (20th : 2004 : Saint-Malo, France)
Published
Berlin ; New York : Springer, 2004.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 3132 (LC)
Format
Books
95.
Program development in computational logic : a decade of research advances in logic-based program development
Published
Berlin ; New York : Springer, 2004.
Online
Restricted to Springer LINK subscribers
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 3049 (LC)
Format
Books
96.
Recent advances in constraints : Joint ERCIM/CoLognet International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30 - July 2, 2003 : selected papers
Author
Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming (2003 : Budapest, Hungary)
Published
Berlin ; London : Springer, 2004.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 3010 (LC)
Format
Books
97.
Evolving knowledge bases specification and semantics
Author
Leite, João Alexandre
Published
Amsterdam ; Washington, DC : IOS Press ; Tokyo : Ohmsha, c2003.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
98.
Inductive logic programming : 12th international conference, ILP 2002, Sydney, Australia, July 2002 : revised papers
Author
ILP (Conference) (2002 : Sydney, N.S.W.)
Published
Berlin ; New York : Springer, 2003.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 2583 (LC)
Format
Books
99.
Inductive logic programming : 12th international conference, ILP 2002, Sydney, Australia, July 2002 : revised papers
Author
ILP (Conference) (2002 : Sydney, N.S.W.)
Published
Berlin ; New York : Springer, 2003.
Online
Online book (login required)
Location
Internet Archive >> None
Format
Books
100.
Inductive logic programming : 13th International Conference, ILP 2003, Szeged, Hungary, September 29-October 1, 2003 : proceedings
Author
ILP (Conference) (2003 : Szeged, Hungary)
Published
Berlin ; New York : Springer, c2003.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 2835 (LC)
Format
Books