Author Search Results

1

Tools and Algorithms for the Construction and Analysis of Systems : 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part II / / edited by Armin Biere, David Parker.

Participants: Biere, Armin. [ HerausgeberIn, HerausgeberIn ]; Parker, David. [ HerausgeberIn, HerausgeberIn ]; Parker, David. [ HerausgeberIn ]
Published: 2020.
Superior document: Theoretical Computer Science and General Issues, 12079

Other Authors: “...Biere, Armin....”

2

Tools and Algorithms for the Construction and Analysis of Systems : 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I / / edited by Armin Biere, David Parker.

Participants: Biere, Armin. [ HerausgeberIn, HerausgeberIn ]; Parker, David. [ HerausgeberIn, HerausgeberIn ]; Parker, David. [ HerausgeberIn ]
Published: 2020.
Superior document: Theoretical Computer Science and General Issues, 12078

Other Authors: “...Biere, Armin....”

3

Handbook of satisfiability / edited by Armin Biere ... [et al.].

Participants: ProQuest (Firm) [ ]; Biere, Armin. [ TeilnehmendeR ]; ProQuest (Firm) [ TeilnehmendeR ]
Published: c2009.
Superior document: Frontiers in artificial intelligence and applications, v. 185

Other Authors: “...Biere, Armin....”

Links: Get full text