61
Published 2005
Springer Berlin Heidelberg
Subjects: ...Theory of Computation...

62
Published 2005
Springer Berlin Heidelberg
Table of Contents: ...What Do We Know When We Know That a Theory Is Consistent? -- Reflecting Proofs in First-Order Logic...

63
Published 2016
Springer Nature Singapore
Table of Contents: ...Analysis and theory of evolutionary computation -- Neural network architectures and learning...

64
Published 2018
Springer International Publishing
Subjects: ...Formal Languages and Automata Theory...

65
Published 2011
Springer Berlin Heidelberg
Subjects: ...Formal Languages and Automata Theory...

66
Published 2017
Springer International Publishing
Subjects: ...Formal Languages and Automata Theory...

67
Published 2018
Springer International Publishing
Subjects: ...Formal Languages and Automata Theory...

68
by Dignum, Virginia
Published 2019
Springer International Publishing
Subjects: ...Theory and Method in Social Work...

69
Published 2006
Springer Berlin Heidelberg
Table of Contents: ... -- Labeled @-Calculus: Formalism for Time-Concerned Human Factors -- Enhanced Theorem Reuse by Partial Theory...

70
Published 2020
Springer International Publishing
Table of Contents: ... Blockchain Consensus Protocols -- 22nd International Conference on Applications of Declarative Programming...

71
by Mazzola, Guerino
Published 2011
Springer Berlin Heidelberg
Table of Contents: ... Performance Scores -- 21 Stemma Theory -- 22 Case Studies -- 23 Statistics -- Part V Inverse Performance -- 24...

72
Published 2018
Springer International Publishing
... Studies: Traditions and Innovations” (LKTI 2017), providing insights into theory, research, scientific...

74
Published 2012
Springer Berlin Heidelberg
Table of Contents: ... education -- constraint and search -- creativity support.-decision theory -- evolutionary computation...

75
Published 2004
Springer Berlin Heidelberg
Table of Contents: ... with Negative Coefficients -- New Developments in Symmetry Breaking in Search Using Computational Group Theory...

76
Published 2023
Springer Nature Switzerland
Table of Contents: ... science -- Cost-constrained group feature selection using information theory -- Conformal Prediction...

77
Published 2005
Springer Berlin Heidelberg
Table of Contents: ... -- Invited Talk -- Applications -- Invited Talk -- Theory -- Invited Talk -- Medical Image Processing...

78
Published 1998
Springer Berlin Heidelberg
Table of Contents: ... generic user modeling framework -- From theory to practice in multiagent system design: The case...

79
Published 1998
Springer Berlin Heidelberg
Subjects: ...Theory of Computation...

80
Published 1999
Springer Berlin Heidelberg
Subjects: ...Formal Languages and Automata Theory...