Search Results for Computer logic -- Congresses.

27 Results Found

1 2 3

000000000000MAIN

Quantitative logic and soft computing : proceedings of the Ql&Sc 2012, Xi'an, China, 12-15 May 2012

International Conference on Quantitative Logic and Soft Computing (3rd : 2012 : Xi'an, China)

Author

International Conference on Quantitative Logic and Soft Computing (3rd : 2012 : Xi'an, China), Wang, Guojun, Zhao, Bin, Li, Yongming

Format:

Call Number

QA76.63 I58 2012

Publisher

World Scientific,

Publication Date

2012

ISBN

9789814401524

Available:
Holds:
Copies:

Cover image for Argumentation in multi-agent systems : fifth international workshop, ArgMAS 2008, Estoril, Portugal, May 12, 2008, revised selected and Invited papers

Argumentation in multi-agent systems : fifth international workshop, ArgMAS 2008, Estoril, Portugal, May 12, 2008, revised selected and Invited papers

Rahwan, Iyad

Author

Rahwan, Iyad, Moraitis, Pavlos

Format:

Call Number

QA76.76.I58 A734 2009

Publisher

Springer,

Publication Date

2009

ISBN

9783642002069

Available:
Holds:
Copies:

Cover image for Web reasoning and rule systems : second international conference, RR 2008, Karlsruhe, October/NovemberGermany, October 31 - November 1, 2008 : proceedings

Web reasoning and rule systems : second international conference, RR 2008, Karlsruhe, October/NovemberGermany, October 31 - November 1, 2008 : proceedings

RR 2008 (2008 : Karlsruhe, Germany)

Author

RR 2008 (2008 : Karlsruhe, Germany), Calvanese, Diego, Lausen, Georg

Format:

Call Number

TK5105.88815 R72 2008

Publisher

Springer,

Publication Date

2008

ISBN

9783540887362

Available:
Holds:
Copies:

Logics in artificial intelligence : 11th European conference, JELIA 2008 Dresden, Germany, September/October 2008 : proceedings

Holldobler, Steffen, 1957-

Author

Holldobler, Steffen, 1957-, Lutz, Carsten, 1971-, Wansing, H. (Heinrich)

Format:

Call Number

Q334 L63 2008

Publisher

Springer,

Publication Date

2008

ISBN

9783540878025

Available:
Holds:
Copies:

Logic, language, information and computation : 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 : proceedings

Workshop on Logic, Language, Information and Computation (15th : 2008 : Edinburgh, U.K.)

Author

Workshop on Logic, Language, Information and Computation (15th : 2008 : Edinburgh, U.K.), Hodges, Wilfrid, Queiroz, Ruy J.G.B. de

Format:

Call Number

QA9.A1 W67 2008

Publisher

Springer,

Publication Date

2008

ISBN

9783540699361

Available:
Holds:
Copies:

Logic programming : 23rd international conference, ICLP 2007, Porto, Portugal, September 8-13, 2007 ; proceedings

International Conference on Logic Programming (23rd : 2007 : Porto, Portugal)

Author

International Conference on Logic Programming (23rd : 2007 : Porto, Portugal), Dahl, Veronica, 1950-, Niemel�a, Ilkka, 1961-

Format:

Call Number

QA76.63 L634 2007

Publisher

Springer,

Publication Date

2007

ISBN

9783540746089

Fulltext

Available:
Holds:
Copies:

Web reasoning and rule systems: first international conference, RR 2007, Innsbruck, Austria, June 7-8, 2007, proceedings

Marchiori, Massimo

Author

Marchiori, Massimo, Pan, Jeff Z, Sainte Marie, Christian de

Format:

Call Number

TK5105.88815 R72 2007

Publisher

Springer-Verlag,

Publication Date

2007

ISBN

9783540729815

Fulltext

Available:
Holds:
Copies:

Cover image for Domain Modeling and the Duration Calculus International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures

Domain Modeling and the Duration Calculus International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures

ICTAC Training School on Domain Modelling and Duration Calculus (2007 : Shanghai, China)

Author

ICTAC Training School on Domain Modelling and Duration Calculus (2007 : Shanghai, China), George, Chris W., Liu, Zhiming., Woodcock, Jim., SpringerLink (Online service)

Format:

Call Number

EB 001366

Publisher

Springer-Verlag Berlin Heidelberg,

Publication Date

2007

ISBN

9783540749646

http://dx.doi.org/10.1007/978-3-540-74964-6

Remote access restricted to users with a valid UTM ID via VPN

Available:
Holds:
Copies:

Cover image for Computational Logic in Multi-Agent Systems 7th International Workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006, Revised Selected and Invited Papers

Computational Logic in Multi-Agent Systems 7th International Workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006, Revised Selected and Invited Papers

CLIMA (Conference) (7th : 2006 : Hakodate-shi, Japan)

Author

CLIMA (Conference) (7th : 2006 : Hakodate-shi, Japan), Inoue, Katsumi, Satoh, Ken, Toni, Francesca, SpringerLink (Online service)

Format:

Call Number

EB 001375

Publisher

Springer-Verlag Berlin Heidelberg,

Publication Date

2007

ISBN

9783540696193

http://dx.doi.org/10.1007/978-3-540-69619-3

Remote access restricted to users with a valid UTM ID via VPN

Available:
Holds:
Copies:

10.

Cover image for Machines, Computations, and Universality 5th International Conference, MCU 2007, Orleans, France, September 10-13, 2007: Proceedings

Machines, Computations, and Universality 5th International Conference, MCU 2007, Orleans, France, September 10-13, 2007: Proceedings

MCU 2007 (2007 : Orleans, France)

Author

MCU 2007 (2007 : Orleans, France), Durand-Lose, Jerome, Margenstern, Maurice, SpringerLink (Online service)

Format:

Call Number

EB 001331

Publisher

Springer-Verlag Berlin Heidelberg,

Publication Date

2007

ISBN

9783540745938

http://dx.doi.org/10.1007/978-3-540-74593-8

Remote access restricted to users with a valid UTM ID via VPN

Available:
Holds:
Copies:

11.

Cover image for Computer Science Logic 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007: Proceedings

Computer Science Logic 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007: Proceedings

Workshop on Computer Science Logic (21st : 2007 : Lausanne, Switzerland)

Author

Workshop on Computer Science Logic (21st : 2007 : Lausanne, Switzerland), Duparc, Jacques, Henzinger, Thomas A., SpringerLink (Online service)

Format:

Call Number

EB 001359

Publisher

Springer-Verlag Berlin Heidelberg,

Publication Date

2007

ISBN

9783540749158

http://dx.doi.org/10.1007/978-3-540-74915-8

Remote access restricted to users with a valid UTM ID via VPN

Available:
Holds:
Copies:

12.

Cover image for Anaphora: Analysis, Algorithms and Applications 6th Discourse Anaphora and Anaphor Resolution Colloquium, DAARC 2007, Lagos, Portugal, March 29-30, 2007. Selected Papers

Anaphora: Analysis, Algorithms and Applications 6th Discourse Anaphora and Anaphor Resolution Colloquium, DAARC 2007, Lagos, Portugal, March 29-30, 2007. Selected Papers

Discourse Anaphora and Anaphor Resolution Colloquium (6th : 2007 : Lagos, Portugal)

Author

Discourse Anaphora and Anaphor Resolution Colloquium (6th : 2007 : Lagos, Portugal), Branco, Antonio

Format:

Call Number

EB 000929

Publisher

Springer-Verlag Berlin Heidelberg,

Publication Date

2007

ISBN

9783540714125

Full Text

Remote access restricted to users with a valid UTM ID via VPN

Available:
Holds:
Copies:

1 2 3

	{displayName}	{count}
{error}