Jump to content

Automation of Logic


Recommended Posts

After I started to get into the depth of Automation, feeling kinda stupid at the beginning, hence not robustly proficient in absolute, relative, region and track based etc., what do you know, I am not alone, even the Max-Planck Institute for Informatics has its own research department on the subject. 🤭

Bildschirmfoto2023-10-26um07_55_14.thumb.png.fe713fc2c11bc7f82972c2e226b244d9.png

https://www.mpi-inf.mpg.de/departments/automation-of-logic

  • Haha 3
Link to comment
Share on other sites

Join the conversation

You can post now and register later. If you have an account, sign in now to post with your account.
Note: Your post will require moderator approval before it will be visible.

Guest
Reply to this topic...

×   Pasted as rich text.   Restore formatting

  Only 75 emoji are allowed.

×   Your link has been automatically embedded.   Display as a link instead

×   Your previous content has been restored.   Clear editor

×   You cannot paste images directly. Upload or insert images from URL.

×
×
  • Create New...