Join BookitisSave favorites, build lists, and follow creators.
Log InCreate Account

Karl Meinke

Author detail

KM
3 featured books

Bookitis has not yet captured a biography for this author, but the catalog links below show the books currently associated with this profile.

Search this authorOpen first work
OL2682629A

Overview

Catalog identity and bibliographic footprint for this author.

3 representative editions

Author pages in Bookitis are intended to show only works actually attributed to the author and a representative edition for each of those works.

Catalog identity

How this author appears inside the active Bookitis catalog.

  • Display name

    Karl Meinke

  • Source identifier

    OL2682629A

Featured books

Representative editions for works actually authored by this person.

Works in catalog

Quick navigation into the work-level grouping pages behind the featured books.

  • Machine Learning for Dynamic Software Analysis : Potentials and Limits

    Representative edition published 2018

    Open Work

  • Higher-order algebra, logic, and term rewriting

    Representative edition published 2014

    Open Work

  • Tests and Proofs

    Representative edition published 2022

    Open Work