Tools

LEADER 02271cam 2200481 a 4500

001 ssj0000327149;

003 WaSeSS;

005 20240712080447.0;

006 m d ;

007 cr n ;

008 960319s1995 gw a sb 001 0 eng d;

010 a| 96004089;

020 a| 3540610405 (softcover : alk. paper);

035 a| (WaSeSS)ssj0000327149;

040 a| DLCc| DLCd| DLCd| WaSeSS;

049 a| EREEa| NEHH;

050 00 a| QA76.9.A96b| G73 1995;

082 00 a| 006.32| 20;

100 1 a| Graf, Peter,d| 1966-=| ^A381038;

245 10 a| Term indexingh| [electronic resource] /c| Peter Graf.;

260 a| Berlin ;a| New York :b| Springer,;

300 a| xiv, 284 p. :b| ill. ;c| 24 cm.;

490 1 a| Lecture notes in computer science ;v| 1053.a| Lecture notes in artificial intelligence;

504 a| Includes bibliographical references (p. [275]-280) and index.;

506 a| Available only to authorized users.;

538 a| Mode of access: World Wide Web;

650 0 a| Automatic theorem proving.=| ^A88007;

650 0 a| Expert systems (Computer science)=| ^A144659;

650 0 a| Artificial intelligence.=| ^A15394;

650 0 a| Indexing.=| ^A15274;

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

830 0 a| Lecture notes in computer science ;v| 1053.=| ^A466336;

830 0 a| Lecture notes in computer science.p| Lecture notes in artificial intelligence.=| ^A467263;

856 40 z| Full text available from SpringerLINK Lecture Notes in Computer Scienceu| https://go.openathens.net/redirector/ecu.edu?url=https%3A%2F%2Flink.springer.com%2F10.1007%2F3-540-61040-5;

856 40 z| Full text available from Springer Booksu| https://go.openathens.net/redirector/ecu.edu?url=https%3A%2F%2Flink.springer.com%2F10.1007%2F3-540-61040-5;

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| 4298622;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 4298622-1001l| JNETm| JOYNERr| Ys| Yt| JNESSBKu| 1/4/2016x| EBOOKz| JERESOURCE;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 4298622-2001l| HSLELECm| HSLr| Ys| Yt| HEBKu| 1/4/2016x| EBOOKz| HERESOURCE;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 4298622-3001l| MNETm| JMUSICr| Ys| Yt| MNESSBKu| 1/4/2016x| EBOOKz| JERESOURCE;

Term indexing / Peter Graf.

Author/creator	Graf, Peter, 1966-
Format	Electronic
Publication Info	Berlin ; New York : Springer,
Description	xiv, 284 p. : ill. ; 24 cm.
Supplemental Content	Full text available from SpringerLINK Lecture Notes in Computer Science
Supplemental Content	Full text available from Springer Books
Subjects	Automatic theorem proving. Expert systems (Computer science) Artificial intelligence. Indexing.

Series	Lecture notes in computer science ; 1053. Lecture notes in artificial intelligence Lecture notes in computer science ; 1053. ^A466336 Lecture notes in computer science. Lecture notes in artificial intelligence. ^A467263
Bibliography note	Includes bibliographical references (p. [275]-280) and index.
Access restriction	Available only to authorized users.
Technical details	Mode of access: World Wide Web
Genre/form	Electronic books.
LCCN	96004089
ISBN	3540610405 (softcover : alk. paper)

Availability

Library	Location	Call Number	Status	Item Actions
	Electronic Resources	Online Content Full text available from SpringerLINK Lecture Notes in Computer Science Full text available from SpringerLINK Lecture Notes in Computer Science	✔ Available

Term indexing / Peter Graf.

Click here for more information about this title

Availability