32,630 results found (page 2 of 2176)
https://nettime.org/Lists-Archives

<nettime> archives <nettime> archives <nettime> nettime-l : English-language list 2026 Jan Feb Mar Apr 2025 Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Dec 2024 Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Dec 2023 Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Dec 2022 Jan Feb Mar A…

https://issues.genenetwork.org

tissue issue tracker Hint Refine your search with filters type:issue type:document is:open is:closed title:git creator:mani lastupdater:vel assigned:muthu tag:feature-request , etc. Optionally, combine search terms with boolean operators AND and OR . See Xapian::QueryParser Synta…

https://devel.isa-afp.org

The Archive of Formal Proofs is a collection of proof libraries, examples, and larger scientific developments, mechanically checked in the theorem prover Isabelle . It is organized in the way of a scientific journal, is indexed by dblp and has an ISSN: 2150-914x. Submissions are …

http://www.isa-afp.org

The Archive of Formal Proofs is a collection of proof libraries, examples, and larger scientific developments, mechanically checked in the theorem prover Isabelle . It is organized in the way of a scientific journal, is indexed by dblp and has an ISSN: 2150-914x. Submissions are …