126 Titel in Klassifikation (DDC) → Informatik, Informationswissenschaft, allgemeine Werke → Informatik, Wissen, Systeme → Informatik, Informationswissenschaft, allgemeine Werke 2
zu den Filteroptionen126 Titel in Klassifikation (DDC) → Informatik, Informationswissenschaft, allgemeine Werke → Informatik, Wissen, Systeme → Informatik, Informationswissenschaft, allgemeine Werke
2
An inference engine for function free logic programs
In: Proceedings of the 2nd International IEEE Conference on Tools for Artificial Intelligence, Jg. 1990, S. 885-890Infinite cube-connected cycles
In: Information Processing Letters, Jg. 1983, S. 1-2Integrated predicative synchronization implemented in a federated DBMS
In: Tenth Annual International Phoenix Conference on Computers and Communications, Jg. 1991, S. 123-129Integrating a deductive database system with a Warren Abstract Machine
In: Proceedings of the International Symposium "Computational Intelligence 90", Jg. 1991, S. 19-24The LBA-problem and the deterministic tape complexity of two-way one-counter languages over a one-letter alphabet
In: Acta Informatica, Jg. 8.1977, S. 371-382Lifetime analysis for attributes
In: Acta Informatica, Jg. 24.1987 H. 6, S. 633-652Lower bounds for solving linear diophantine equations on random access machines
In: Journal of the Association for Computing Machinery, Jg. 1985, S. 929-937Lower time bounds for solving linear diophantine equations on several parallel computational models
In: Information and Control, Jg. 1985, S. 195-211Microelectronic implementation of neural networks
In: Proceedings / Workshop on Neural Networks, Jg. 1993, S. 77-86Modelling aspects of system level design
In: Proceedings / EURO-DAC '93, Jg. 1993, S. 534-539Nondeterministic versus probabilistic linear search algorithms
In: FOCS 1985, Jg. 1985, S. 65-73On a subclass of pseudopolynomial problems
In: Mathematical Foundations of Computer Science, Jg. 9, S. 414-425