Automated Deduction – CADE 27 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings

Weitere Verfasser: “… Fontaine, Pascal 1964- …”
DE-634
DE-Aug4
DE-573
DE-M347
DE-92
DE-898
DE-859
DE-860
DE-861
DE-863
DE-862
DE-523
DE-91
DE-473
DE-19
DE-355
DE-703
DE-20
DE-706
DE-29
DE-739
URL des Erstveröffentlichers

Automated deduction - CADE 27 27th international conference on automated deduction, Natal, Brazil, August 27-30, 2019 : proceedings

Weitere Verfasser: “… Fontaine, Pascal 1964- …”