Your search returned 17 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.
Nominal Sets : Names and Symmetry in Computer Science

by Pitts, Andrew M.

Material type: Text Text; Format: electronic available online remote Publisher: Cambridge : Cambridge University Press, 2013Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online Call number: QA76.7 .P384 2013.
3.
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.
4.
Domain modeling and the duration calculus : international training school, Shanghai, China, September 17-21, 2007 : advanced lectures / Chris W. George, Zhiming Liu, Jim Woodcock (eds.).

by International Training School on Domain Modeling and the Duration Calculus (2007 : Shanghai, China) | George, Chris W | Liu, Zhiming, 1961- | Woodcock, Jim | ICTAC 2007 (2007 : Macau, China).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, c2007Other title: Duration caculus.Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online Call number: QA76.54 .I577 2007.
5.
Journal on data semantics IX / Stefano Spaccapietra ... [et al.] (eds.).

by Spaccapietra, S.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer-Verlag, c2007Other title: Journal on data semantics 9 | Journal on data semantics nine | Data semantics 9 | Data semantics nine.Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online Call number: TK5105.88815 .J68 2007.
6.
Logic, language, and computation : 6th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2005, Batumi, Georgia, September 12-16, 2005 : revised selected papers / Balder D. ten Cate, Henk W. Zeevat (eds.).

by International Tbilisi Symposium on Logic, Language, and Computation (6th : 2005 : Batumi, Georgia) | Cate, Balder David ten | Zeevat, Henk, 1952-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, c2007Other title: 6th International Tbilisi Symposium on Logic, Language, and Computation | Sixth International Tbilisi Symposium on Logic, Language, and Computation | International Tbilisi Symposium on Logic, Language, and Computation | TbiLLC 2005.Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online Call number: QA76.9.L63 I565 2005.
7.
Semantics with applications : an appetizer / Hanne Riis Nielson and Flemming Nielson.

by Nielson, Hanne Riis, 1954- | Nielson, Flemming, 1955-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: New York ; London : Springer, 2007Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online Call number: QA76.7 .N54 2007.
8.
Journal on data semantics. VIII / Stefano Spaccapietra ... [et al.] (eds.).

by Spaccapietra, S.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer, c2007Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online Call number: TK5105.88815 .J68 vol. 8.
9.
Practical aspects of declarative languages : 9th international symposium, PADL 2007, Nice, France, January 14-15, 2007 : proceedings / Michael Hanus (ed.).

by PADL 2007 (2007 : Nice, France) | Hanus, Michael, 1959-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, c2007Other title: PADL 2007.Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online Call number: QA76.7 .P32 2007.
10.
Practical aspects of declarative languages : 8th international symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006 : proceedings / Pascal Van Hentenryck (ed.).

by PADL 2006 (2006 : Charleston, S.C.) | Van Hentenryck, Pascal.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, c2006Other title: PADL 2006.Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online Call number: QA76.7 .P32 2006.
11.
Journal on data semantics V / Stefano Spaccapietra ... [et al.] (eds.).

by Spaccapietra, S.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer, c2006Other title: Journal on data semantics 5 | Journal on data semantics five.Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online Call number: QA76.9.D3 J68 2006.
12.
Journal on data semantics VII / Stefano Spaccapietra (Ed.).

by Spaccapietra, S.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York [N.Y.] : Springer, c2006Other title: Journal on data semantics 7 | Journal on data semantics seven.Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online Call number: QA76.9.D3 J684 2006.
13.
Journal on data semantics VI : Special issue on emergent semantics / Stefano Spaccapietra, Karl Aberer, Philippe Cudré-Mauroux (eds.).

by Spaccapietra, S | Aberer, Karl | Cudré-Mauroux, Philippe.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York [N.Y.] : Springer, c2006Other title: Special issue on emergent semantics | Journal on data semantics 6 | Journal on data semantics six.Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online Call number: QA76.7 .J68 2006.
14.
Journal on data semantics II / Stefano Spaccapietra ... [et al.], (eds.).

by Spaccapietra, S.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer, c2005Other title: Journal on data semantics 2.Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online Call number: QA75.5 .L43 v.3360.
15.
Practical aspects of declarative languages : 7th international symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005 : proceedings / Manuel Hermenegildo, Daniel Cabeza (eds.).

by PADL 2005 (2005 : Long Beach, Calif.) | Hermenegildo, Manuel | Cabeza, Daniel.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2005Other title: PADL 2005.Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online Call number: QA76.7 .P32 2005.
16.
Scenarios: Models, Transformations and Tools : international workshop, Dagstuhl Castle, Germany, September 7-12, 2003 : revised selected papers / Stefan Leue, Tarja Johanna Systä (eds.).

by Leue, Stefan | Systä, Tarja Johanna.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, c2005Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online Call number: QA76.758 .S28 2005.
17.
Journal on data semantics IV / Stefano Spaccapietra (ed.).

by Spaccapietra, S.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, c2005Other title: Journal on data semantics 4 | Journal on data semantics four | Data semantics IV.Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online Call number: QA76.7 .J68 2005.