doi.org/10.1007/978-3-030-79876-5

Preview meta tags from the doi.org website.

Linked Hostnames

18

Thumbnail

Search Engine Appearance

Google

https://doi.org/10.1007/978-3-030-79876-5

Automated Deduction – CADE 28

This is an open access book. The CADE 2021 proceedings focus on all aspects of automated deduction, including foundations, practical experience, and more.



Bing

Automated Deduction – CADE 28

https://doi.org/10.1007/978-3-030-79876-5

This is an open access book. The CADE 2021 proceedings focus on all aspects of automated deduction, including foundations, practical experience, and more.



DuckDuckGo

https://doi.org/10.1007/978-3-030-79876-5

Automated Deduction – CADE 28

This is an open access book. The CADE 2021 proceedings focus on all aspects of automated deduction, including foundations, practical experience, and more.

  • General Meta Tags

    11
    • title
      Automated Deduction – CADE 28: 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings | SpringerLink
    • charset
      UTF-8
    • X-UA-Compatible
      IE=edge
    • viewport
      width=device-width, initial-scale=1
    • applicable-device
      pc,mobile

  • Open Graph Meta Tags

    5
    • og:url
      https://link.springer.com/book/10.1007/978-3-030-79876-5
    • og:type
      book
    • og:site_name
      SpringerLink
    • og:title
      Automated Deduction – CADE 28
    • og:image
      https://media.springernature.com/w153/springer-static/cover/book/978-3-030-79876-5.jpg

  • Item Prop Meta Tags

    2
    • position
      1
    • position
      2

  • Link Tags

    9
    • apple-touch-icon
      /oscar-static/img/favicons/darwin/apple-touch-icon-6ef0829b9c.png
    • canonical
      https://link.springer.com/book/10.1007/978-3-030-79876-5
    • icon
      /oscar-static/img/favicons/darwin/android-chrome-192x192.png
    • icon
      /oscar-static/img/favicons/darwin/favicon-32x32.png
    • icon
      /oscar-static/img/favicons/darwin/favicon-16x16.png

Links

114