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

Author	FAABS 2000 (2000 : Greenbelt, Md.)
Title	Formal approaches to agent-based systems : First International Workshop, FAABS 2000, Greenbelt, MD, USA, April 5-7, 2000 : revised papers / James L. Rash ... [et at.] (eds.)
Imprint	Berlin : Springer, c2001
Descript	ix, 368 p. : ill. ; 24 cm

CONTENT

Verifying Agent's Mental States -- Synthesizing Agents Initially -- Frameworks and Formalization -- Modeling and Execution -- Inter-agent Communication -- Adaptive Agents -- Posters

SUBJECT

Intelligent control systems -- Congresses
Software engineering -- Congresses

LOCATION	CALL#	STATUS
Central Library (4th Floor)	629.8028563 F111F	CHECK SHELVES

Office of Academic Resources
Chulalongkorn University

254 Phayathai Road, Pathumwan, Bangkok 10330 Thailand

Library Service 0-2218-2929, 0-2218-2927

Administrative Division 0-2218-2903

Fax. 0-2215-3617

Complaint / Suggestions

Staff Only