Back to Results
First PageMeta Content
Metalogic / Natural deduction / Sequent / First-order logic / Model theory / Logic / Mathematical logic / Proof theory


A Practical Course on KIV Gidon Ernst Wolfgang Reif Dominik Haneberg
Add to Reading List

Document Date: 2015-02-09 05:01:55

Open Document

File Size: 1,44 MB

Share Result on Facebook

Company

PPL / /

Currency

pence / /

Facility

Systems Engineering University / org Pf¨ahler Kurt Stenzel Institute / /

IndustryTerm

program systems / software systems / /

OperatingSystem

Sequent / /

Organization

Software and Systems Engineering University / Ts CHAPTER / KIV Gidon Ernst Wolfgang Reif Dominik Haneberg Gerhard Schellhorn Bogdan Tofan J¨org Pf¨ahler Kurt Stenzel Institute for Software / /

Person

Ernst Wolfgang Reif Dominik Haneberg Gerhard / Dominik Haneberg Gerhard Schellhorn Bogdan / Gerhard Schellhorn Bogdan Tofan / /

Position

General / Forward / /

ProgrammingLanguage

Java / /

Technology

Java / /

SocialTag