Computer Science Logic 11th (43 results)
Published by IEEE Computer Society Press, Los Alamitos, CA, U.S.A., 1996
- Hardcover
- First Edition
Seller: SUNSET BOOKS 2, Newark, OH, U.S.A.SUNSET BOOKS 2
Contact seller5-star sellerCondition: Used - Very good
US$ 26.00
US$ 7.25 shippingShips within U.S.A.Quantity: 1 available
Hardcover. Condition: Very Good. No Jacket. 1st. With full markings and pocket. Case bound. Volume will not fit in Flat Rate Priority Mail envelope. WILL require extra postage dependent on method of shipment and destination. Size: 4to. Ex-Library.
Deontic Logic in Computer Science : 11th International Conference, Deon 2012, Bergen, Norway, July 16-18, 2012, Proceedings
Agotnes, Thomas (EDT); Broersen, Jan M. (EDT); Elgesem, Dag (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 52.90
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: BargainBookStores, Grand Rapids, MI, U.S.A.BargainBookStores
Contact seller5-star sellerCondition: New
US$ 59.79
Free ShippingShips within U.S.A.Quantity: 5 available
Paperback or Softback. Condition: New. Deontic Logic in Computer Science: 11th International Conference, Deon 2012, Bergen, Norway, July 16-18, 2012, Proceedings. Book.
Deontic Logic in Computer Science : 11th International Conference, Deon 2012, Bergen, Norway, July 16-18, 2012, Proceedings
Agotnes, Thomas (EDT); Broersen, Jan M. (EDT); Elgesem, Dag (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 60.36
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: California Books, Miami, FL, U.S.A.California Books
Contact seller5-star sellerCondition: New
US$ 62.00
US$ 3.00 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
Computer Science Logic : 11th International Workshop, Csl '97 : Annual Conference of the Eacsl, Aarhus, Denmark, August 23-29, 1997 : Selected Papers
Workshop on Computer Science Logic 1997 (Aarhus, Denmark); Nielsen, M.; Thomas, Wolfgang; European Associaton for Computer Science Logic Conferenece 1997 aarhu (COR)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 68.35
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: California Books, Miami, FL, U.S.A.California Books
Contact seller5-star sellerCondition: New
US$ 68.00
US$ 3.00 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: California Books, Miami, FL, U.S.A.California Books
Contact seller5-star sellerCondition: New
US$ 68.00
US$ 3.00 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: California Books, Miami, FL, U.S.A.California Books
Contact seller5-star sellerCondition: New
US$ 68.00
US$ 3.00 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: California Books, Miami, FL, U.S.A.California Books
Contact seller5-star sellerCondition: New
US$ 68.00
US$ 3.00 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
Deontic Logic in Computer Science : 11th International Conference, Deon 2012, Bergen, Norway, July 16-18, 2012, Proceedings
Agotnes, Thomas (EDT); Broersen, Jan M. (EDT); Elgesem, Dag (EDT)
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
US$ 61.80
US$ 20.04 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
Deontic Logic in Computer Science : 11th International Conference, Deon 2012, Bergen, Norway, July 16-18, 2012, Proceedings
Agotnes, Thomas (EDT); Broersen, Jan M. (EDT); Elgesem, Dag (EDT)
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
US$ 68.54
US$ 20.04 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
Deontic Logic in Computer Science: 11th International Conference, Deon 2012, Bergen, Norway, July 16-18, 2012, Proceedings
Agotnes, Thomas (Editor)/ Broersen, Jan M. (Editor)/ Elgesem, Dag (Editor)
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
US$ 82.43
US$ 13.36 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Paperback. Condition: Brand New. 2012 edition. 230 pages. 9.25x6.10x0.52 inches. In Stock.
Computer Science Logic : 11th International Workshop, Csl '97 : Annual Conference of the Eacsl, Aarhus, Denmark, August 23-29, 1997 : Selected Papers
Workshop on Computer Science Logic 1997 (Aarhus, Denmark); Nielsen, M.; Thomas, Wolfgang; European Associaton for Computer Science Logic Conferenece 1997 aarhu (COR)
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
US$ 75.86
US$ 20.04 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
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 (Lecture Notes in Computer Science / Lect
Azevedo, Francisco (Editor) / Barahona, Pedro (Editor) / Fages, Francois (Editor) / Rossi, Francesca (Editor)
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
US$ 89.50
US$ 13.36 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Paperback. Condition: Brand New. 1st edition. 185 pages. 9.00x6.00x0.50 inches. In Stock.
- Softcover
Seller: Books Puddle, Woodside, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
US$ 97.09
US$ 3.99 shippingShips within U.S.A.Quantity: 4 available
Condition: New. pp. 281.
Computational Logic in Multi-Agent Systems: 11th International Workshop, CLIMAX XI, Lisbon, Portugal, August 16-17, 2010, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)
Dix, Jürgen (Editor) / Leite, Joao (Editor) / Governatori, Guido (Editor) / Jamroga, Wojtek (Editor)
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
US$ 91.13
US$ 13.36 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: Brand New. 2010 edition. 257 pages. 9.21x6.06x0.47 inches. In Stock.
- Softcover
Seller: Books Puddle, Woodside, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
US$ 99.32
US$ 3.99 shippingShips within U.S.A.Quantity: 4 available
Condition: New. pp. 333.
- Softcover
Seller: Books Puddle, Woodside, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
US$ 99.98
US$ 3.99 shippingShips within U.S.A.Quantity: 4 available
Condition: New. pp. 355.
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
US$ 68.67
US$ 39.02 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume presents the refereed proceedings of the 11th International Conference on Deontic Logic in Computer Science, DEON 2012, held in Bergen, Norway, in July 2012. The 14 revised papers included in the volume were carefully reviewed and selected from 29 submissions. Topics covered include logical study of normative reasoning, formal analysis of normative concepts and normative systems, formal specification of aspects of norm-governed multi-agent systems and autonomous agents, normative aspects of protocols for communication, negotiation and multi-agent decision making, formal representation of legal knowledge, formal specification of normative systems for the management of bureaucratic processes in public or private administration, and applications of normative logic to the specification of database integrity constraints.…
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
US$ 76.24
US$ 39.02 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the strictly refereed post-workshop proceedings of the 11th International Workshop on Computer Science Logic, CSL '97, held as the 1997 Annual Conference of the European Association on Computer Science Logic, EACSL, in Aarhus, Denmark, in August 1997.The volume presents 26 revised full papers selected after two rounds of refereeing from initially 92 submissions; also included are four invited papers. The book addresses all current aspects of computer science logics and its applications and thus presents the state of the art in the area.…
More images- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
US$ 57.92
US$ 78.03 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Computer Science Logic | 11th International Workshop, CSL'97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected Papers | Mogens Nielsen (u. a.) | Taschenbuch | viii | Englisch | 1998 | Springer | EAN 9783540645702 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…
Computer Science Logic : 16th International Workshop, Csl 2002, 11th Annual Conference of the Eacsl, Edinburgh, Scotland, Uk, September 2002 : Proceedings
Workshop on Computer Science Logic 2002 (Edinburgh, Scotland); Bradfield, Julian Charles (EDT); European Association for Computer Science Logic Conference 2002 edinb (COR)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 138.85
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
Computer Science Logic : 16th International Workshop, Csl 2002, 11th Annual Conference of the Eacsl, Edinburgh, Scotland, Uk, September 2002 : Proceedings
Workshop on Computer Science Logic 2002 (Edinburgh, Scotland); Bradfield, Julian Charles (EDT); European Association for Computer Science Logic Conference 2002 edinb (COR)
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
US$ 137.80
US$ 20.04 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
Computer Science Logic : 16th International Workshop, Csl 2002, 11th Annual Conference of the Eacsl, Edinburgh, Scotland, Uk, September 2002 : Proceedings
Workshop on Computer Science Logic 2002 (Edinburgh, Scotland); Bradfield, Julian Charles (EDT); European Association for Computer Science Logic Conference 2002 edinb (COR)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 157.90
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
Computer Science Logic : 16th International Workshop, Csl 2002, 11th Annual Conference of the Eacsl, Edinburgh, Scotland, Uk, September 2002 : Proceedings
Workshop on Computer Science Logic 2002 (Edinburgh, Scotland); Bradfield, Julian Charles (EDT); European Association for Computer Science Logic Conference 2002 edinb (COR)
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
US$ 148.76
US$ 20.04 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: Mispah books, Redhill, SURRE, United KingdomMispah books
Contact seller4-star sellerCondition: Used - As new
US$ 147.24
US$ 33.40 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
- Softcover
Seller: Mispah books, Redhill, SURRE, United KingdomMispah books
Contact seller4-star sellerCondition: Used - As new
US$ 148.62
US$ 33.40 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
US$ 143.35
US$ 39.02 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - The Annual Conference of the European Association for Computer Science Logic, CSL 2002, was held in the Old College of the University of Edinburgh on 22-25 September 2002. The conference series started as a programme of Int- national Workshops on Computer Science Logic, and then in its sixth meeting became the Annual Conference of the EACSL. This conference was the sixteenth meeting and eleventh EACSL conference; it was organized by the Laboratory for Foundations of Computer Science at the University of Edinburgh. The CSL 2002 Programme Committee considered 111 submissions from 28 countries during a two week electronic discussion; each paper was refereed by at least three reviewers. The Committee selected 37 papers for presentation at the conference and publication in these proceedings. The Programme Committee invited lectures from Susumu Hayashi, Frank Neven, and Damian Niwinski; the papers provided by the invited speakers appear at the front of this volume. In addition to the main conference, two tutorials - 'Introduction to Mu- Calculi' (Julian Brad eld) and 'Parametrized Complexity' (Martin Grohe) - were given on the previous day.…
More images- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
US$ 110.17
US$ 78.03 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Computer Science Logic | 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September | Julian Bradfield | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2002 | Springer | EAN 9783540442400 | Verantwortliche Person für die EU: Springer Nature Customer Service Center GmbH, Europaplatz 3, 69115 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu.…
