|
|
|
|
LEADER |
00000nam a22000005i 4500 |
001 |
978-3-642-28472-4 |
003 |
DE-He213 |
005 |
20220115062740.0 |
007 |
cr nn 008mamaa |
008 |
120302s2012 gw | s |||| 0|eng d |
020 |
|
|
|a 9783642284724
|9 978-3-642-28472-4
|
024 |
7 |
|
|a 10.1007/978-3-642-28472-4
|2 doi
|
050 |
|
4 |
|a QA267-268.5
|
072 |
|
7 |
|a UYA
|2 bicssc
|
072 |
|
7 |
|a MAT018000
|2 bisacsh
|
072 |
|
7 |
|a UYA
|2 thema
|
082 |
0 |
4 |
|a 005.131
|2 23
|
245 |
1 |
0 |
|a Foundations of Information and Knowledge Systems
|h [electronic resource] :
|b 7th International Symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012, Proceedings /
|c edited by Thomas Lukasiewicz, Attila Sali.
|
250 |
|
|
|a 1st ed. 2012.
|
264 |
|
1 |
|a Berlin, Heidelberg :
|b Springer Berlin Heidelberg :
|b Imprint: Springer,
|c 2012.
|
300 |
|
|
|a XII, 405 p.
|b online resource.
|
336 |
|
|
|a text
|b txt
|2 rdacontent
|
337 |
|
|
|a computer
|b c
|2 rdamedia
|
338 |
|
|
|a online resource
|b cr
|2 rdacarrier
|
347 |
|
|
|a text file
|b PDF
|2 rda
|
490 |
1 |
|
|a Information Systems and Applications, incl. Internet/Web, and HCI ;
|v 7153
|
520 |
|
|
|a This book constitutes the proceedings of the 7th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2012, held in Kiel, Germany, in March 2012. The 12 regular and 8 short papers, presented together with two invited talks in full paper-length, were carefully reviewed and selected from 53 submissions. The contributions cover foundational aspects of information and knowledge systems. These include the application of ideas, theories or methods from specific disciplines to information and knowledge systems, such as discrete mathematics, logic and algebra, model theory, informaiton theory, complexity theory, algorithmics and computation, statistics, and optimization.
|
650 |
|
0 |
|a Machine theory.
|
650 |
|
0 |
|a Computer science-Mathematics.
|
650 |
|
0 |
|a Discrete mathematics.
|
650 |
|
0 |
|a Computer science.
|
650 |
|
0 |
|a Algorithms.
|
650 |
|
0 |
|a Artificial intelligence.
|
650 |
1 |
4 |
|a Formal Languages and Automata Theory.
|
650 |
2 |
4 |
|a Discrete Mathematics in Computer Science.
|
650 |
2 |
4 |
|a Computer Science Logic and Foundations of Programming.
|
650 |
2 |
4 |
|a Mathematics of Computing.
|
650 |
2 |
4 |
|a Algorithms.
|
650 |
2 |
4 |
|a Artificial Intelligence.
|
700 |
1 |
|
|a Lukasiewicz, Thomas.
|e editor.
|4 edt
|4 http://id.loc.gov/vocabulary/relators/edt
|
700 |
1 |
|
|a Sali, Attila.
|e editor.
|4 edt
|4 http://id.loc.gov/vocabulary/relators/edt
|
710 |
2 |
|
|a SpringerLink (Online service)
|
773 |
0 |
|
|t Springer Nature eBook
|
776 |
0 |
8 |
|i Printed edition:
|z 9783642284717
|
776 |
0 |
8 |
|i Printed edition:
|z 9783642284731
|
830 |
|
0 |
|a Information Systems and Applications, incl. Internet/Web, and HCI ;
|v 7153
|
856 |
4 |
0 |
|u https://doi.uam.elogim.com/10.1007/978-3-642-28472-4
|z Texto Completo
|
912 |
|
|
|a ZDB-2-SCS
|
912 |
|
|
|a ZDB-2-SXCS
|
912 |
|
|
|a ZDB-2-LNC
|
950 |
|
|
|a Computer Science (SpringerNature-11645)
|
950 |
|
|
|a Computer Science (R0) (SpringerNature-43710)
|