unglue.it Browse Free Books

X

#1

Select

Explore

View As:

Sort by:
popular
newest
title

Automated Deduction – CADE 28

André Platzer and Geoff Sutcliffe, editors

More Info

AVAILABLE!

Login to Fave

Read it Now

Automated Deduction – CADE 28

André Platzer and Geoff Sutcliffe, editors

Login to Fave

No Faves

Foundations of Software Science and Computation Structures: 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

Mikołaj Bojańczyk and Alex Simpson, editors

More Info

AVAILABLE!

Login to Fave

Read it Now

Foundations of Software Science and Computation Structures: 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

Mikołaj Bojańczyk and Alex Simpson, editors

Login to Fave

Faved by 1

1