Stephan SchulzAutomated Reasoning, Christian Blanchette, FLoC..., IJCAR, Jasmin Christian Blanchette, Satisfiability, Peltier, Eprover Adresse / Anfahrt Auf der Altenburg 7 70376 StuttgartDE Kontakt 1x E-Mail 2x Webadresse/Domain 1 Ansprechpartner/Personen Dr. Stephan SchulzDr.StephanSchulz (Inhaber) Neu: Daten zu 3,6 Mio. deutschen Firmen exportieren + professionell nutzen