Your search returned 13 results. Subscribe to this search

|
1. Foundations of Information and Knowledge Systems : 8th International Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014. Proceedings.

by Hutchison, David | Kanade, Takeo | Kittler, Josef.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing AG, z.Hd. Alexander Grossmann, 2014Copyright date: ©2014Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online QA76 .F639 2014.
2. Machines, computations, and universality : 5th international conference, MCU 2007, Orleans, France, September 10-13, 2007 : proceedings / Jérôme Durand-Lose, Maurice Margenstern (eds.).

by MCU 2007 (2007 : Orléans, France) | Durand-Lose, Jérôme | Margenstern, Maurice.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, c2007Other title: MCU 2007.Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online QA75.5 .M396 2007.
3. 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 QA76.54 .I577 2007.
4. 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 QA76.9.L63 I565 2005.
5. Computer science logic : 21st international workshop, CSL 2007, 16th annual conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007 : proceedings / Jacques Duparc, Thomas A. Henzinger (eds.).

by CSL 2007 (2007 : Lausanne, Switzerland) | Duparc, Jacques, 1962- | Henzinger, T. A. (Thomas A.) | European Association for Computer Science Logic.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, c2007Other title: CSL 2007.Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online QA76.9.L63 C78 2007.
6. Computational logic in multi-agent systems : 7th international workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006 : revised selected and invited papers / Katsumi Inoue, Ken Satoh, Francesca Toni (eds.).

by CLIMA (Conference) (7th : 2006 : Hakodate-shi, Japan) | Inoue, Katsumi | Satoh, Ken, 1959- | Toni, Francesca.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, c2007Other title: CLIMA VII | CLIMA 7 | CLIMA seven.Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online QA76.9.L63 C656 2006.
7. Argumentation in multi-agent systems : third international workshop, ArgMAS 2006, Hakodate, Japan, May 8, 2006 : revised selected and invited papers / Nicolas Maudet, Simon Parsons, Iyad Rahwan (eds.).

by ArgMAS 2006 (2006 : Hakodate-shi, Japan) | Maudet, Nicolas | Parsons, Simon | Rahwan, Iyad.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, c2007Other title: ArgMAS 2006.Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online QA76.76.I58 A73 2006.
8. Computational logic in multi-agent systems : 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005 : revised selected and invited papers / Francesca Toni, Paolo Torroni (eds.).

by CLIMA (Conference) (6th : 2005 : London, England) | Toni, Francesca | Torroni, Paolo.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, c2006Other title: CLIMA VI | CLIMA 6 | CLIMA six.Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online QA76.9.L63 C67 2005.
9. Automated reasoning : third international joint conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings / Ulrich Furbach, Natarajan Shankar (eds.).

by IJCAR 2006 (2006 : Seattle, Wash.) | Furbach, Ulrich | Shankar, N.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, c2006Other title: IJCAR 2006.Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online QA76.9.A96 I38 2006.
10. Computer science logic : 20th international workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006 ; proceedings / Zoltan Esik (ed.).

by Workshop on Computer Science Logic (20th : 2006 : Szeged, Hungary) | Ésik, Zoltán, 1951- | European Association for Computer Science Logic. Conference (15th : 2006 : Szeged, Hungary).

Material type: Text Text; Format: available online remote; Literary form: Not fiction ; Audience: Pre-adolescent; Publisher: Berlin ; New York : Springer, c2006Other title: CSL 2006 | EACSL 2006.Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online QA76.9.L63 W67 2006.
11. Computer science logic : 19th international Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005 ; proceedings / Luke Ong (ed.).

by Workshop on Computer Science Logic (19th : 2005 : Oxford, England) | European Association for Computer Science Logic. Conference (14th : 2005 : Oxford, England).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2005Other title: CSL 2005 | 14th Annual Conference of the EACSL | Fourteenth Annual Conference of the EACSL | Conference of the EACSL.Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online QA76.9.L63 W67 2005.
12. Computational logic in multi-agent systems : 5th international workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004 : revised selected and invited papers / João Leite, Paolo Torroni (eds.).

by CLIMA (Conference) (5th : 2004 : Lisbon, Portugal) | Leite, João Alexandre | Torroni, Paolo.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, c2005Other title: CLIMA V | CLIMA 5 | CLIMA five.Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online QA76.9.L63 C656 2004b.
13. Computational logic in multi-agent systems : 4th international workshop, CLIMA IV, Fort Lauderdale, FL, USA, January 6-7, 2004 : revised selected and invited papers / Jürgen Dix, João Leite (eds.).

by CLIMA (Conference) (4th : 2004 : Fort Lauderdale, Fla.) | Dix, J. (Jürgen), 1961- | Leite, João Alexandre.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, c2004Other title: CLIMA IV | CLIMA 4 | CLIMA four | CLIMA 2004.Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online QA76.9.L63 C656 2004.