Create accountLogin

Recent searches

No recent searches

Search options

Only available when logged in.
bolha.us is one of the many independent Mastodon servers you can use to participate in the fediverse.
We're a Brazilian IT Community. We love IT/DevOps/Cloud, but we also love to talk about life, the universe, and more. | Nós somos uma comunidade de TI Brasileira, gostamos de Dev/DevOps/Cloud e mais!

Administered by:

Server stats:

254
active users

bolha.us: AboutProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.3.7

#mace2

0 posts0 participants0 posts today
José A. Alonso<p>Curso "Razonamiento automático (2011-12)". <a href="https://jaalonso.github.io/cursos/m-ra-11" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">jaalonso.github.io/cursos/m-ra</span><span class="invisible">-11</span></a> <a href="https://mathstodon.xyz/tags/RazonamientoAutom%C3%A1tico" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>RazonamientoAutomático</span></a> <a href="https://mathstodon.xyz/tags/Otter" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Otter</span></a> <a href="https://mathstodon.xyz/tags/Mace2" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Mace2</span></a> <a href="https://mathstodon.xyz/tags/Prover9" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Prover9</span></a> <a href="https://mathstodon.xyz/tags/Mace4" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Mace4</span></a> <a href="https://mathstodon.xyz/tags/Demostraci%C3%B3nInteractiva" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>DemostraciónInteractiva</span></a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>IsabelleHOL</span></a></p>
José A. Alonso<p>Curso "Razonamiento automático (2008-09)". <a href="https://jaalonso.github.io/cursos/d-ra-08" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">jaalonso.github.io/cursos/d-ra</span><span class="invisible">-08</span></a> <a href="https://mathstodon.xyz/tags/RazonamientoAutom%C3%A1tico" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>RazonamientoAutomático</span></a> <a href="https://mathstodon.xyz/tags/Otter" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Otter</span></a> <a href="https://mathstodon.xyz/tags/Mace2" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Mace2</span></a> <a href="https://mathstodon.xyz/tags/Prover9" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Prover9</span></a> <a href="https://mathstodon.xyz/tags/Mace4" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Mace4</span></a> <a href="https://mathstodon.xyz/tags/Demostraci%C3%B3nInteractiva" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>DemostraciónInteractiva</span></a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>IsabelleHOL</span></a></p>
José A. Alonso<p>Curso "Razonamiento automático (2007-08)". <a href="https://jaalonso.github.io/cursos/d-ra-07" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">jaalonso.github.io/cursos/d-ra</span><span class="invisible">-07</span></a> <a href="https://mathstodon.xyz/tags/RazonamientoAutom%C3%A1tico" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>RazonamientoAutomático</span></a> <a href="https://mathstodon.xyz/tags/Otter" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Otter</span></a> <a href="https://mathstodon.xyz/tags/Mace2" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Mace2</span></a> <a href="https://mathstodon.xyz/tags/Prover9" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Prover9</span></a> <a href="https://mathstodon.xyz/tags/Mace4" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Mace4</span></a> <a href="https://mathstodon.xyz/tags/Demostraci%C3%B3nInteractiva" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>DemostraciónInteractiva</span></a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>IsabelleHOL</span></a></p>
ExploreLive feeds
About