Autorenfreundlich Bücher kaufen?!
Beschreibung
Contents: H. de Nivelle: Resolution Games and Non-Liftable Resolution Orderings. - M. Kerber, M. Kohlhase: A Tableau Calculus for Partial Functions. - G. Salzer: MUltlog: an Expert System for Multiple-valued Logics. - J. Krajícþek: A Fundamental Problem of Mathematical Logic. - P. Pudlák: On the Lengths of Proofs of Consistency. - A. Carbone: The Craig Interpolation Theorem for Schematic Systems. - I.A. Stewart: The Role of Monotonicity in Descriptive Complexity Theory. - R. Freund, L. Staiger: Numbers Defined by Turing Machines.
Details
| Verlag | Springer Wien |
| Ersterscheinung | 30. April 1996 |
| Maße | 24.4 cm x 17 cm |
| Gewicht | 276 Gramm |
| Format | Softcover |
| ISBN-13 | 9783211827963 |
| Seiten | 140 |
Schlagwörter
Algorithmen und Datenstrukturen, Algorithms, Computer Science Logic and Foundations of Programming, Formal Languages and Automata Theory, Mathematical Logic and Foundations, Mathematik: Logik, Mathematische Grundlagen, Mathematische Physik, Theoretical - Mathematical and Computational Physics, Theoretische Informatik, Theory of Computation
Herstellerinformationen
Bekannt durch
