The Resource Formal approaches to agent-based systems : First International Workshop, FAABS 2000, Greenbelt, MD, USA, April 5-7, 2000 : revised papers, James L. Rash [and others] (eds.)

Formal approaches to agent-based systems : First International Workshop, FAABS 2000, Greenbelt, MD, USA, April 5-7, 2000 : revised papers, James L. Rash [and others] (eds.)

Label
Formal approaches to agent-based systems : First International Workshop, FAABS 2000, Greenbelt, MD, USA, April 5-7, 2000 : revised papers
Title
Formal approaches to agent-based systems
Title remainder
First International Workshop, FAABS 2000, Greenbelt, MD, USA, April 5-7, 2000 : revised papers
Statement of responsibility
James L. Rash [and others] (eds.)
Creator
Contributor
Subject
Genre
Language
eng
Member of
Cataloging source
DLC
Illustrations
illustrations
Index
index present
LC call number
  • TJ217.5
  • QA76
LC item number
  • .F33 2000
  • .L4 no. 1871
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2000
http://bibfra.me/vocab/lite/meetingName
FAABS 2000
Nature of contents
bibliography
http://library.link/vocab/relatedWorkOrContributorName
Rash, James L
Series statement
  • Lecture notes in computer science
  • Lecture notes in artificial intelligence
Series volume
1871.
http://library.link/vocab/subjectName
  • Intelligent control systems
  • Software engineering
  • système autonome
  • méthode formelle
  • spécification formelle
  • communication agent
  • système multi-agent
  • Commande intelligente
  • Génie logiciel
  • Intelligent control systems
  • Software engineering
  • Génie logiciel
  • Commande intelligente
  • Agent (Informatik)
  • Formale Methode
  • Kongress
  • Mehragentensystem
  • Rechnernetz
Label
Formal approaches to agent-based systems : First International Workshop, FAABS 2000, Greenbelt, MD, USA, April 5-7, 2000 : revised papers, James L. Rash [and others] (eds.)
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
volume
Carrier category code
  • nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
  • T. Araragi, P. Attie and I. Keidar
  • [et al.]
  • Modeling and Programming Devices and Web Agents
  • S.A. McIlraith
  • A Programming Logic for Part of the Agent Language 3APL
  • K.V. Hindriks, F.S. de Boer and W. van der Hoek
  • [et al.]
  • The Nepi[superscript 2] Programming System: A [pi]-Calculus-Based Approach to Agent-Based Programming
  • Y. Kawabe, K. Mano and K. Kogure
  • Model Checking-Based Analysis of Multiagent Systems
  • M. Benerecetti and F. Giunchiglia
  • Towards Formal Specification and Verification in Cyberspace
  • S. Ambroszkiewicz, W. Penczek and T. Nowak
  • Verification within the KARO Agent Theory
  • U. Hustadt, C. Dixon and R.A. Schmidt
  • [and others]
  • On Formal Modeling of Agent Computations
Dimensions
24 cm.
Dimensions
unknown
Extent
ix, 368 pages
Isbn
9783540427162
Lccn
2001055113
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
Other physical details
illustrations
Specific material designation
remote
System control number
  • (OCoLC)48397447
  • (OCoLC)ocm48397447
Label
Formal approaches to agent-based systems : First International Workshop, FAABS 2000, Greenbelt, MD, USA, April 5-7, 2000 : revised papers, James L. Rash [and others] (eds.)
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
volume
Carrier category code
  • nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
  • T. Araragi, P. Attie and I. Keidar
  • [et al.]
  • Modeling and Programming Devices and Web Agents
  • S.A. McIlraith
  • A Programming Logic for Part of the Agent Language 3APL
  • K.V. Hindriks, F.S. de Boer and W. van der Hoek
  • [et al.]
  • The Nepi[superscript 2] Programming System: A [pi]-Calculus-Based Approach to Agent-Based Programming
  • Y. Kawabe, K. Mano and K. Kogure
  • Model Checking-Based Analysis of Multiagent Systems
  • M. Benerecetti and F. Giunchiglia
  • Towards Formal Specification and Verification in Cyberspace
  • S. Ambroszkiewicz, W. Penczek and T. Nowak
  • Verification within the KARO Agent Theory
  • U. Hustadt, C. Dixon and R.A. Schmidt
  • [and others]
  • On Formal Modeling of Agent Computations
Dimensions
24 cm.
Dimensions
unknown
Extent
ix, 368 pages
Isbn
9783540427162
Lccn
2001055113
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
Other physical details
illustrations
Specific material designation
remote
System control number
  • (OCoLC)48397447
  • (OCoLC)ocm48397447

Library Locations

  • African Studies LibraryBorrow it
    771 Commonwealth Avenue, 6th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Alumni Medical LibraryBorrow it
    72 East Concord Street, Boston, MA, 02118, US
    42.336388 -71.072393
  • Astronomy LibraryBorrow it
    725 Commonwealth Avenue, 6th Floor, Boston, MA, 02445, US
    42.350259 -71.105717
  • Fineman and Pappas Law LibrariesBorrow it
    765 Commonwealth Avenue, Boston, MA, 02215, US
    42.350979 -71.107023
  • Frederick S. Pardee Management LibraryBorrow it
    595 Commonwealth Avenue, Boston, MA, 02215, US
    42.349626 -71.099547
  • Howard Gotlieb Archival Research CenterBorrow it
    771 Commonwealth Avenue, 5th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Mugar Memorial LibraryBorrow it
    771 Commonwealth Avenue, Boston, MA, 02215, US
    42.350723 -71.108227
  • Music LibraryBorrow it
    771 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Pikering Educational Resources LibraryBorrow it
    2 Silber Way, Boston, MA, 02215, US
    42.349804 -71.101425
  • School of Theology LibraryBorrow it
    745 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350494 -71.107235
  • Science & Engineering LibraryBorrow it
    38 Cummington Mall, Boston, MA, 02215, US
    42.348472 -71.102257
  • Stone Science LibraryBorrow it
    675 Commonwealth Avenue, Boston, MA, 02445, US
    42.350103 -71.103784
Processing Feedback ...