NovaCat - NSU Libraries Catalog user info Skip the menu to the main content
Return To Browse Limit/Sort
     

SUBJECTS (1-10 of 10)
Computer Logic Congresses

{{ holdMsg }} on this title

Cover for {{ title }}

{{indexedTitle}}   {{title}}

{{subtitle}}

{{part}}

{{author}}

{{ callno }} {{ publisher }} {{year}}

Available via Ebook Central; click here for access
Local access for all registered users. Remote access only for NSU, Broward, and Alumni.

Available in All at {{location}} all locations some locations some locations copies in use

E-BOOK

{{indexedTitle}} appears in the content of this record.

{{title}} can only be used in the library.

A copy of {{title}} has been set aside for library use only.

Advances in contemporary logic and computer science : proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador da Bahia, Brazil Advances In Contemporary Logic And Computer Science : Proceedings Of The Eleventh Brazilian Conference On Mathematical Logic, May 6-10, 1996, Salvador Da Bahia, Brazil / Walter A. Carnielli, Itala M.L. D'Ottaviano, Editors. Brazilian Conference on Mathematical Logic American Mathematical Society, 1999.

{{ holdMsg }} on this title

Cover for {{ title }}

{{indexedTitle}}   {{title}}

{{subtitle}}

{{part}}

{{author}}

{{ callno }} {{ publisher }} {{year}}

Available in All at {{location}} all locations some locations some locations copies in use

PRINT MATERIAL

{{indexedTitle}} appears in the content of this record.

{{title}} can only be used in the library.

A copy of {{title}} has been set aside for library use only.

Advances in temporal logic Advances In Temporal Logic / Edited By Howard Barringer ... [And Others]. Kluwer Academic Publishers, [2000] Request

{{ holdMsg }} on this title

Cover for {{ title }}

{{indexedTitle}}   {{title}}

{{subtitle}}

{{part}}

{{author}}

{{ callno }} {{ publisher }} {{year}}

Available in All at {{location}} all locations some locations some locations copies in use

PRINT MATERIAL

{{indexedTitle}} appears in the content of this record.

{{title}} can only be used in the library.

A copy of {{title}} has been set aside for library use only.

Automated reasoning : First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001 : proceedings Automated Reasoning : First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001 : Proceedings / Rajeev Goré, Alexander Leitsch, Tobias Nipkow (Eds.). IJCAR (Conference) Springer, [2001] Request

{{ holdMsg }} on this title

Cover for {{ title }}

{{indexedTitle}}   {{title}}

{{subtitle}}

{{part}}

{{author}}

{{ callno }} {{ publisher }} {{year}}

Restricted to Springer LINK subscribers

Available in All at {{location}} all locations some locations some locations copies in use

PRINT MATERIAL

{{indexedTitle}} appears in the content of this record.

{{title}} can only be used in the library.

A copy of {{title}} has been set aside for library use only.

Automated reasoning : second international joint conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004 : proceedings Automated Reasoning : Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004 : Proceedings / David Basin, Michaël Rusinowitsch (Eds.). IJCAR (Conference) Springer, 2004. Request

{{ holdMsg }} on this title

Cover for {{ title }}

{{indexedTitle}}   {{title}}

{{subtitle}}

{{part}}

{{author}}

{{ callno }} {{ publisher }} {{year}}

Available in All at {{location}} all locations some locations some locations copies in use

PRINT MATERIAL

{{indexedTitle}} appears in the content of this record.

{{title}} can only be used in the library.

A copy of {{title}} has been set aside for library use only.

Computational logic--CL 2000 : First International Conference, London, UK, July 2000 : proceedings Computational Logic--CL 2000 : First International Conference, London, UK, July 2000 : Proceedings / John Lloyd ... [And Others] (Eds.). CL 2000 Springer, 2000. Request

{{ holdMsg }} on this title

Cover for {{ title }}

{{indexedTitle}}   {{title}}

{{subtitle}}

{{part}}

{{author}}

{{ callno }} {{ publisher }} {{year}}

Available in All at {{location}} all locations some locations some locations copies in use

PRINT MATERIAL

{{indexedTitle}} appears in the content of this record.

{{title}} can only be used in the library.

A copy of {{title}} has been set aside for library use only.

Computational logic in multi-agent systems : 4th International Workshop, CLIMA IV, Fort Lauderdale, FL., USA, January 6-7, 2004 : revised selected and invited papers 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.). Springer, [2004] Request

{{ holdMsg }} on this title

Cover for {{ title }}

{{indexedTitle}}   {{title}}

{{subtitle}}

{{part}}

{{author}}

{{ callno }} {{ publisher }} {{year}}

Available in All at {{location}} all locations some locations some locations copies in use

PRINT MATERIAL

{{indexedTitle}} appears in the content of this record.

{{title}} can only be used in the library.

A copy of {{title}} has been set aside for library use only.

Computational logic in multi-agent systems : 5th international workshop, CLIMA V Lisbon, Portugal, September 29-30, 2004 : revised selected and invited papers 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.). CLIMA V Springer, 2005. Request

{{ holdMsg }} on this title

Cover for {{ title }}

{{indexedTitle}}   {{title}}

{{subtitle}}

{{part}}

{{author}}

{{ callno }} {{ publisher }} {{year}}

Restricted to SpringerLINK subscribers

Available in All at {{location}} all locations some locations some locations copies in use

PRINT MATERIAL

{{indexedTitle}} appears in the content of this record.

{{title}} can only be used in the library.

A copy of {{title}} has been set aside for library use only.

Computational logic in multi-agent systems : 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005 : revised selected and invited papers 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.). CLIMA (Workshop) Springer, [2006] Request

{{ holdMsg }} on this title

Cover for {{ title }}

{{indexedTitle}}   {{title}}

{{subtitle}}

{{part}}

{{author}}

{{ callno }} {{ publisher }} {{year}}

Available via Ebook Central; click here for access
Local access for all registered users. Remote access only for NSU, Broward, and Alumni.

Available in All at {{location}} all locations some locations some locations copies in use

E-BOOK

{{indexedTitle}} appears in the content of this record.

{{title}} can only be used in the library.

A copy of {{title}} has been set aside for library use only.

Formal logical methods for system security and correctness Formal Logical Methods For System Security And Correctness Edited By Orna Grumberg, Tobias Nipkow And Christian Pfaller. NATO Advanced Study Institute on Formal Logical Methods for System Security and Correctness IOS Press, c2008.

{{ holdMsg }} on this title

Cover for {{ title }}

{{indexedTitle}}   {{title}}

{{subtitle}}

{{part}}

{{author}}

{{ callno }} {{ publisher }} {{year}}

Available in All at {{location}} all locations some locations some locations copies in use

PRINT MATERIAL

{{indexedTitle}} appears in the content of this record.

{{title}} can only be used in the library.

A copy of {{title}} has been set aside for library use only.

Types for proofs and programs : International Workshop TYPES '96, Aussois, France, December 1996 : selected papers Types For Proofs And Programs : International Workshop TYPES '96, Aussois, France, December 1996 : Selected Papers / Eduardo Giménez, Christine Paulin-Mohring (Eds.). International Workshop TYPES '96 Springer Verlag, [1998] Request
Return To Browse Limit/Sort
Use classic NovaCat |