新生學校財團法人新生醫護管理專科學校圖書館 |

Language: English

Back

Intelligent Computer Mathematics = 1...

SpringerLink (Online service)

Intelligent Computer Mathematics = 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012 : proceedings /

Record Type:	Electronic resources : Monograph/item
Title/Author:	Intelligent Computer Mathematics/ edited by Johan Jeuring ... [et al.].
Reminder of title:	11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012 : proceedings /
remainder title:	AISC 2012
other author:	Jeuring, Johan.
corporate name:	Congress on Progress and Controversies in Oncological Urology
Published:	Berlin, Heidelberg :Springer Berlin Heidelberg, : 2012.,
Description:	471 p. :ill., digital ; : 24 cm.;
Contained By:	Springer eBooks
Subject:	Logics and Meanings of Programs. -
Online resource:	http://dx.doi.org/10.1007/978-3-642-31374-5
ISBN:	9783642313745 (electronic bk.)

Intelligent Computer Mathematics = 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012 : proceedings /
Intelligent Computer Mathematics11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012 : proceedings /[electronic resource] :AISC 2012edited by Johan Jeuring ... [et al.]. - Berlin, Heidelberg :Springer Berlin Heidelberg,2012. - 471 p. :ill., digital ;24 cm. - Lecture notes in computer science,73620302-9743 ;. - Lecture notes in computer science ;4930..

ISBN: 9783642313745 (electronic bk.)Subjects--Topical Terms:

122248
Logics and Meanings of Programs.

LC Class. No.: QA76.9.M35 / A37 2012

Dewey Class. No.: 004.0151

Intelligent Computer Mathematics = 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012 : proceedings /
LDR:01259nmm a2200325 a 4500 001 184562
003 DE-He213
005 20120810155626.0
006 m d
007 cr nn 008maaau
008 170203s2012 gw s 0 eng d
020 $a 9783642313745 (electronic bk.)
020 $a 9783642313738 (paper)
035 $a 978-3-642-31374-5
040 $a GP $c GP
041 0 # $a eng
050 # 4 $a QA76.9.M35 $b A37 2012
082 0 4 $a 004.0151 $2 23
090 $a QA76.9.M35 $b A299 2012
111 2 $a Congress on Progress and Controversies in Oncological Urology $n (6th : $d 2000: $c Rotterdam, Netherlands) $3 71642 $3 171735
245 1 0 $a Intelligent Computer Mathematics $h [electronic resource] : $b 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012 : proceedings / $c edited by Johan Jeuring ... [et al.].
246 3 # $a AISC 2012
246 3 # $a Calculemus 2012
246 3 # $a DML 2012
246 3 # $a MKM 2012
246 3 # $a CICM 2012
260 # $a Berlin, Heidelberg : $c 2012. $b Springer Berlin Heidelberg,
300 $a 471 p. : $b ill., digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 0302-9743 ; $v 7362
650 2 4 $a Logics and Meanings of Programs. $3 122248
650 2 4 $a Information Storage and Retrieval. $3 81546
650 # 0 $a Computer science $x Mathematics $v Congresses. $3 124477 $3 176313
650 # 0 $a Artificial intelligence $x Mathematics $v Congresses. $3 357893
650 1 4 $a Computer Science. $3 120417
650 2 4 $a Symbolic and Algebraic Manipulation. $3 122825
650 2 4 $a Artificial Intelligence (incl. Robotics) $3 120419
650 2 4 $a Math Applications in Computer Science. $3 120926
650 2 4 $a Mathematical Logic and Formal Languages. $3 122272
700 1 # $a Jeuring, Johan. $3 357892
710 2 # $a SpringerLink (Online service) $3 120363
773 0 # $t Springer eBooks
830 0 $a Lecture notes in computer science ; $v 4930. $3 124499 $3 176319
856 4 0 $u http://dx.doi.org/10.1007/978-3-642-31374-5
950 $a Computer Science (Springer-11645)

based on 0 review(s)

Multimedia

Reviews

Add a review and share your thoughts with other readers

Export

pickup library