Jan-Martin Knorr

	Contact Email: Bitte warten...

Publications

2013

• Qualitative Modelling of Biological Signalling Pathways using SAT-solving in Prolog
  October 2013 : J. Knorr

Theses worked on

• Qualitative Modelling of Biological Signalling Pathways using SAT-solving in Prolog (finished), bachelor thesis