Refine your search

Your search returned 33 results.

|
1.
Mathematical Aspects of Logic Programming Semantics.

by Hitzler, Pascal | Seda, Anthony.

Edition: 1st ed.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Baton Rouge : CRC Press, 2016Copyright date: ©2010Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online Call number: QA76.63 -- .H58 2011.
2.
Foundations of Deductive Databases and Logic Programming.

by Minker, Jack.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Saint Louis : Elsevier Science, 2015Copyright date: ©1988Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online Call number: QA76.9.D32 -- .F68 1988.
3.
Diseño y construcción de algoritmos / Alfonso Mancilla Herrera, Roberto Ebratt Gómez, José Capacho Portilla.

by Mancilla Herrera, Alfonso [author.] | Ebratt Gómez, Roberto [author.] | Capacho Portilla, José Rafael [author.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Barranquilla, Colombia : Editorial Universidad del Norte, 2015Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online Call number: QA76.9.A43 ook.
4.
Reliability Prediction from Burn-In Data Fit to Reliability Models.

by Bernstein, Joseph.

Material type: Text Text; Format: electronic available online remote Publisher: Burlington : Elsevier Science, 2014Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online Call number: QA76.612 .R384 2014.
5.
Foundations of Deductive Databases and Logic Programming.

by Minker, Jack.

Material type: Text Text; Format: electronic available online remote Publisher: Burlington : Elsevier Science, 2014Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online Call number: QA76.9.D32 F68 2014.
6.
Defeasible Logic Programming-Based Framework to Support Argumentation in Semantic Web Applications.

by Janjua, Naeem Khalid.

Material type: Text Text; Format: electronic available online remote Publisher: Cham : Springer, 2014Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online Call number: QA76.63 -- .J36 2014eb.
7.
The Deductive Spreadsheet.

by Cervesato, Iliano.

Material type: Text Text; Format: electronic available online remote Publisher: Dordrecht : Springer, 2013Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online Call number: HF5548.4.
8.
MODERN APPLICATIONS OF AUTOMATA THEORY.

by D'Souza, Deepak | Shankar, Priti.

Material type: Text Text; Format: electronic available online remote Publisher: Singapore : World Scientific Publishing Company, 2012Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online Call number: QA267.
9.
Theorem proving in higher order logics : 20th international conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007 ; proceedings / Klaus Schneider, Jens Brandt (eds.).

by TPHOLs 2007 (2007 : Kaiserslautern, Germany) | Schneider, Klaus, 1967- | Brandt, Jens, 1978-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, c2007Other title: TPHOLs 2007.Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online Call number: QA76.9.A96 T655 2007.
10.
Web reasoning and rule systems : first international conference, RR 2007, Innsbruck, Austria, June 7-8, 2007 : proceedings / Massimo Marchiori, Jeff Z. Pan, Christian de Sainte Marie (eds.).

by RR 2007 (2007 : Innsbruck, Austria) | Marchiori, M. (Massimo) | Pan, Jeff Z | Sainte Marie, Christian de.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, c2007Other title: RR 2007.Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online Call number: QA76.63 .I56 2007.
11.
Inductive logic programming : 16th international conference, ILP 2006, Santiago de Compostela, Spain, August 24-27, 2006 : revised selected papers / Stephen Muggleton, Ramon Otero, Alireza Tamaddoni-Nezhad (eds.).

by ILP (Conference) | Muggleton, Stephen | Otero, Ramon | Tamaddoni-Nezhad, Alireza.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, c2007Other title: ILP 2006.Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online Call number: QA76.63 .I52 2006.
12.
Logic programming : 23rd international conference, ICLP 2007, Porto, Portugal, September 8-13, 2007 ; proceedings / Veronica Dahl, Ilkka Niemelä (eds.).

by International Conference on Logic Programming (23rd : 2007 : Porto, Portugal) | Dahl, Veronica, 1950- | Niemelä, Ilkka, 1961-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2007Other title: ICLP 2007.Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online Call number: QA76.63 I55 2007.
13.
Recent advances in constraints : 11th annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2006, Caparica, Portugal, June 26-28, 2006 : revised selected and invited papers / Francisco Azevedo ... [et al.](eds.).

by ERCIM International Workshop on Constraint Solving and Constraint Logic Programming (11th : 2006 : Caparica, Portugal) | Azevedo, Francisco | European Research Consortium for Informatics and Mathematics.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer-Verlag, c2007Other title: ERCIM International Workshop on Constraint Solving and Constraint Logic Programming | CSCLP 2006.Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online Call number: QA76.612 .E73 2006.
14.
Logic programming and nonmonotonic reasoning : 9th international conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007 ; proceedings / Chitta Baral, Gerhard Brewka, John Schlipf (eds.).

by LPNMR 2007 (2007 : Tempe, Ariz.) | Baral, Chitta | Brewka, Gerhard | Schlipf, John.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, c2007Other title: LPNMR 2007.Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online Call number: QA76.63 .L74 2007.
15.
Logic-based program synthesis and transformation : 16th international symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006 : revised selected papers / Germán Puebla (ed.).

by LOPSTR 2006 (2006 : Venice, Italy) | Puebla, Germán.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, c2007Other title: LOPSTR 2006.Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online Call number: QA76.63 .L69 2006.
16.
Logic for programming, artificial intelligence, and reasoning : 14th international conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007 : proceedings / Nachum Dershowitz, Andrei Voronkov (eds.).

by LPAR (Conference) (2007 : Yerevan, Armenia) | Dershowitz, Nachum | Voronkov, A. (Andreĭ), 1959-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, c2007Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online Call number: QA76.63 .L735 2007.
17.
Parallel and distributed logic programming : towards the design of a framework for the next generation database machines / Alakananda Bhattacharya, Amit Konar, Ajit K. Mandal.

by Bhattacharya, Alakananda | Konar, Amit | Mandal, Ajit K.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer-Verlag, c2006Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online Call number: QA76.642 .B484 2006.
18.
Logic based program synthesis and transformation : 15th international symposium, LOPSTR 2005, London, UK, September 7-9, 2005 : revised selected papers / Patricia M. Hill (ed.).

by LOPSTR 2005 (2005 : London, England) | Hill, Patricia, 1942-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, c2006Other title: LOPSTR 2005.Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online Call number: QA76.63 .L69 2005.
19.
Functional and logic programming : 8th international symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006 : proceedings / Masami Hagiya, Philip Wadler (eds.).

by Fuji International Symposium on Functional and Logic Programming (8th : 2006 : Fuji-Susono, Japan) | Hagiya, Masami, 1957- | Wadler, Philip, 1956-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, c2006Other title: FLOPS 2006.Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online Call number: QA76.62 .F84 2006.
20.
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 / Brahim Hnich ... [et al.](eds.).

by Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming (2005 : Uppsala, Sweden) | Hnich, Brahim | European Research Consortium for Informatics and Mathematics | CoLogNET.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, c2006Other title: CSCLP 2005.Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online Call number: QA76.612 .J65 2005.