journal of automated reasoning (9)
behaviour & information technology (5)
automated deduction in geometry (4)
2022 22nd ieee international symposium on cluster, cloud and internet computing (ccgrid), cluster, cloud and internet computing (ccgrid), 2022 22nd ieee international symposium on, ccgrid (1)
annals of mathematics and artificial intelligence (1)
automated deduction - cade-15 (1)
automated deduction in geometry (beijing, 1998) (1)
automated deduction in geometry (zurich, 2000) (1)
automated deduction---cade 26 (1)
automated deduction---cade-15 (lindau, 1998) (1)
computer aided verification (9783540705437) (1)
computer methods & programs in biomedicine (1)
computer methods and programs in biomedicine (1)
ebiomedicine (1)
entcs: electronic notes in theoretical computer science (1)
fundamenta informaticae (1)
handbook of geometric constraint systems principles (1)
intelligent computer mathematics (1)
interactive theorem proving (1)
journal of applied logic (1)
lms journal of computation & mathematics (1)
lms journal of computation and mathematics (1)
logic for programming, artificial intelligence, and reasoning (1)
logic journal of the igpl. interest group in pure and applied logics (1)
logic-based program synthesis and transformation (1)
proceedings of the 13th international conference on automated deduction in geometry (1)
proceedings---fifteenth workshop on logical frameworks and meta-languages: theory and practice (1)
theorem proving in higher order logics (1)
theorem proving in higher order logics (9783540406648) (1)
theorem proving in higher order logics (9783540678632) (1)
theorem proving in higher order logics (portland, or, 2000) (1)
theoretical aspects of computing---ictac 2016 (1)