Tools

LEADER 03667cam a22006377a 4500

001 ssj0000396652;

003 WaSeSS;

005 20210312081412.0;

006 m d ;

007 cr n ;

008 040503s2003 caua sb 101 0 eng d;

010 a| 2004272273;

020 a| 0769519121;

035 a| (WaSeSS)ssj0000396652;

042 a| lccopycat;

049 a| EREEa| NEHH;

050 00 a| QA76.9.D3b| I5816 2003;

082 00 a| 006.32| 22;

111 2 a| International Symposium on Temporal Representation and Reasoningn| (10th :d| 2003 :c| Cairns, Qld.)?| UNAUTHORIZED;

245 10 a| TIME-ICTL 2003 : 10th International Symposium on Temporal Representation and Reasoningh| [electronic resource] :b| and Fourth International Conference on Temporal Logic : proceedings : 8-10 July, 2003, Cairns, Queensland, Australia /c| sponsored by Murdoch University, Griffith University, University of Western Australia ; edited by Mark Reynolds and Abdul Sattar.;

246 30 a| Temporal representation and reasoning;

246 30 a| Temporal logic;

246 3 a| International Workshop on Temporal Representation and Reasoning;

260 a| Los Alamitos, Calif. :b| IEEE Computer Society Press,;

300 a| xi, 223 p. :b| ill. ;c| 28 cm.;

500 a| "IEEE Computer Society Order Number PR01912"--T.p. verso.;

500 a| Some previous conferences entitled: International Workshop on Temporal Representation and Reasoning.;

504 a| Includes bibliographical references and author index.;

506 a| Available only to authorized users.;

530 a| Also available via the World Wide Web with additional title: Temporal representation and reasoning, 2003 and Fourth International Conference on Temporal Logic, proceedings, 10th International Symposium on.;

538 a| Mode of access: World Wide Web;

650 0 a| Artificial intelligencev| Congresses.=| ^A46484;

650 0 a| Reasoningv| Congresses.=| ^A84332;

650 0 a| Timev| Congresses.=| ^A1243336;

650 0 a| Temporal databasesv| Congresses.=| ^A403537;

655 0 a| Electronic books.=| ^A491897;

700 1 a| Reynolds, Markq| (Mark A.)?| UNAUTHORIZED;

700 1 a| Sattar, Abdul,d| 1957-=| ^A525257;

710 2 a| Murdoch University.=| ^A636779;

710 2 a| Griffith University.=| ^A844111;

710 2 a| University of Western Australia.=| ^A829371;

710 2 a| IEEE Xplore (Online service)=| ^A534875;

711 2 a| International Conference on Temporal Logicn| (4th :d| 2003 :c| Cairns, Qld.)?| UNAUTHORIZED;

740 0 a| Temporal representation and reasoning, 2003 and Fourth International Conference on Temporal Logic, proceedings, 10th International Symposium on.;

856 40 z| Full text available from IEEE Electronic Library (IEL)u| https://go.openathens.net/redirector/ecu.edu?url=https%3A%2F%2Fieeexplore.ieee.org%2Fservlet%2Fopac%3Fpunumber%3D8624;

856 40 z| Full text available from IEEE Electronic Library (IEL) Conference Proceedingsu| https://go.openathens.net/redirector/ecu.edu?url=https%3A%2F%2Fieeexplore.ieee.org%2Fservlet%2Fopac%3Fpunumber%3D8624;

947 a| (OCoLC)ocm52689887;

949 a| CLICK ON WEB ADDRESSw| ASISh| JOYNER188;

949 a| CLICK ON WEB ADDRESSw| ASISh| HSL77;

949 a| CLICK ON WEB ADDRESSw| ASISh| JMUSIC60;

596 a| 1 3 4;

998 a| 4677027;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 4677027-1001l| JNETm| JOYNERr| Ys| Yt| JNESSBKu| 3/23/2017x| EBOOKz| JERESOURCE;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 4677027-2001l| HSLELECm| HSLr| Ys| Yt| HEBKu| 3/23/2017x| EBOOKz| HERESOURCE;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 4677027-3001l| MNETm| JMUSICr| Ys| Yt| MNESSBKu| 3/23/2017x| EBOOKz| JERESOURCE;

TIME-ICTL 2003 : 10th International Symposium on Temporal Representation and Reasoning and Fourth International Conference on Temporal Logic : proceedings : 8-10 July, 2003, Cairns, Queensland, Australia / sponsored by Murdoch University, Griffith University, University of Western Australia ; edited by Mark Reynolds and Abdul Sattar.

Author/creator	International Symposium on Temporal Representation and Reasoning
Format	Electronic
Publication Info	Los Alamitos, Calif. : IEEE Computer Society Press,
Description	xi, 223 p. : ill. ; 28 cm.
Supplemental Content	Full text available from IEEE Electronic Library (IEL)
Supplemental Content	Full text available from IEEE Electronic Library (IEL) Conference Proceedings
Subjects	Artificial intelligence--Congresses. Reasoning--Congresses. Time--Congresses. Temporal databases--Congresses.

Other author/creator	Reynolds, Mark (Mark A.)
Other author/creator	Sattar, Abdul, 1957-
Other author/creator	Murdoch University.
Other author/creator	Griffith University.
Other author/creator	University of Western Australia.
Other author/creator	IEEE Xplore (Online service)
Other author/creator	International Conference on Temporal Logic 2003 : Cairns, Qld.) (4th :
Portion of title	Temporal representation and reasoning
Portion of title	Temporal logic
Variant title	International Workshop on Temporal Representation and Reasoning
General note	"IEEE Computer Society Order Number PR01912"--T.p. verso.
General note	Some previous conferences entitled: International Workshop on Temporal Representation and Reasoning.
Bibliography note	Includes bibliographical references and author index.
Access restriction	Available only to authorized users.
Other forms	Also available via the World Wide Web with additional title: Temporal representation and reasoning, 2003 and Fourth International Conference on Temporal Logic, proceedings, 10th International Symposium on.
Technical details	Mode of access: World Wide Web
Genre/form	Electronic books.
Other title	Temporal representation and reasoning, 2003 and Fourth International Conference on Temporal Logic, proceedings, 10th International Symposium on.
LCCN	2004272273
ISBN	0769519121

Availability

Library	Location	Call Number	Status	Item Actions
	Electronic Resources	Online Content Full text available from IEEE Electronic Library (IEL) Full text available from IEEE Electronic Library (IEL)	✔ Available

Click here for more information about this title

Availability