Informatik (15 755 Artikel)

This volume brings together the work of researchers from various disciplines where aspects of descriptive, mathematical, computational or design knowledge concerning metaphor and analogy, especiall...

The field of biologically inspired computation has coexisted with mainstream computing since the 1930s, and the pioneers in this area include Warren McCulloch, Walter Pitts, Robert Rosen, Otto Schm...

The field of biologically inspired computation has coexisted with mainstream computing since the 1930s, and the pioneers in this area include Warren McCulloch, Walter Pitts, Robert Rosen, Otto Schm...

Gene Assembly in Ciliates

First International Conference, ICCAIML 2024, Jaipur, India, January 18-19, 2024, Proceedings, Part I

First International Conference, ICCAIML 2024, Jaipur, India, January 18-19, 2024, Proceedings, Part II

The study of linguistics has been forever changed by the advent of the computer. Not only does the machine permit the processing of enormous quantities of text thereby securing a better empirical f...

This Festschrift volume, published in honor of Samson Abramsky, contains contributions written by some of his colleagues, former students, and friends. In celebration of the 60th birthday of Samson...

International Workshop on Theoretical Computer Science, WTCS 2012, Dedicated to Cristian S. Calude on the Occasion of His 60th Birthday, Auckland, New Zealand, February 21-24, 2012, Revised Selecte...

With this conceptual framework the author examines some of the central philosophical concerns of computer science including the foundations of semantics, the logical role of specification, the natu...

With this conceptual framework the author examines some of the central philosophical concerns of computer science including the foundations of semantics, the logical role of specification, the natu...

Foundations.- Various extensions.- Unification of uninterpreted sorted terms.- Unification of equationally interpreted sorted terms.- Sorted resolution-based calculi.- References.

Computational Autism

This book presents a selection of revised full papers accepted for presentation at the First International Conference on Biology, Informatics, and Mathematics, JOBIM 2000, held in Montpellier, Fran...

This two-volume set (LNAI 11683 and LNAI 11684) constitutes the refereed proceedings of the 11th International Conference on Computational Collective Intelligence, ICCCI 2019, held in Hendaye Franc...