"Programmierlogik" - ECU Libraries Catalog

Preview Version: You're viewing our new catalog design. Share your feedback or return to the current catalog.

Start Over

You searched for: subject "Programmierlogik"

Showing 1 - 7 of 7 results

Search Results

Cover image for Logic-based program synthesis and transformation

Logic-based program synthesis and transformation

by LOPSTR (Symposium)
2010
1st ed.
Format: Electronic

Location
Access Content Online

Cover image for Computer science logic

Computer science logic

by CSL 2009
2009
Format: Electronic

Location
Access Content Online

Cover image for Computer science logic

Computer science logic

by CSL 2010
2010
Format: Electronic

Location
Access Content Online

Cover image for Frontiers of combining systems

Frontiers of combining systems

by FroCOS 2009
2009
Format: Electronic

Location
Access Content Online

Cover image for Logic, language, information and computation

Logic, language, information and computation

by Workshop on Logic, Language, Information and Computation
2009
Format: Electronic

Location
Access Content Online

Cover image for Programming languages and systems

Programming languages and systems

by APLAS 2009
2009
Format: Electronic

Location
Access Content Online

Cover image for Logic for programming, artificial intelligence, and reasoning

Logic for programming, artificial intelligence, and reasoning

by LPAR (Conference)
2001
Format: Book

Location
Access Content Online