Blanchette, Jasmin.
Jasmin Christian Blanchette researcher ORCID ID = 0000-0002-8367-0936
VIAF ID: 7694260 ( Personal )
Permalink: http://viaf.org/viaf/7694260
Preferred Forms
- 200 _ | ‡a Blanchette ‡b Jasmin
- 100 1 _ ‡a Blanchette, Jasmin
- 100 1 _ ‡a Blanchette, Jasmin
- 100 1 _ ‡a Blanchette, Jasmin
- 100 1 _ ‡a Blanchette, Jasmin
-
-
- 100 1 _ ‡a Blanchette, Jasmin
-
-
-
- 100 1 _ ‡a Blanchette, Jasmin
-
-
- 100 1 _ ‡a Blanchette, Jasmin.
- 100 0 _ ‡a Jasmin Christian Blanchette ‡c researcher ORCID ID = 0000-0002-8367-0936
4xx's: Alternate Name Forms (10)
5xx's: Related Names (4)
- 551 _ _ ‡a Garching b. München ‡4 ortw ‡4 https://d-nb.info/standards/elementset/gnd#placeOfActivity
- 551 _ _ ‡a München ‡4 ortw ‡4 https://d-nb.info/standards/elementset/gnd#placeOfActivity
- 510 2 _ ‡a Technische Universität München ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
- 510 2 _ ‡a Vrije Universiteit Amsterdam ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
Works
Title | Sources |
---|---|
Automated Reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings | |
Automatic proofs and refutations for higher-order logic | |
C sharp sharp | |
C++ GUI programming with Qt 4 | |
kyūtī jīyūai puroguramingu | |
Méthodes pour le raisonnement d'ordre supérieur dans SMT | |
Methods for Higher-Order reasoning in SMT. | |
no2004036859 | |
Qt 4를 이용한 C++ GUI 프로그래밍 | |
Qt4 et C++ programmation d'interfaces GUI | |
Stronger SMT Solvers for Proof Assistants : Proofs, Quantifier Simplification, Strategy Schedules | |
入門Qt 4プログラミング |